Essays about: "correct-by-design."

Showing result 1 - 5 of 6 essays containing the word correct-by-design..

1. 1. Digital Twin for Firmware and Artificial Intelligence prototyping

   University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

   Author : Gianluca Maragno; [2023]
   Keywords : Digital Twin; Industry 4.0; SystemC; MCU; TLM; sensors; MEMS; Machine Learning; Artificial Intelligence; simulations; testing; correct-by-design.; Digital Tvilling; Industri 4.0; SystemC; MCU; TLM; sensorer; MEMS; Maskininlärning; Artificiell Intelligens; simuleringar; testning; korrekt-från-design.;

   Abstract : The forth industrial revolution has risen the born of new mega trends for the improvement of the time to market and the spare of resources in the development and manufacturing of a new product. Among these trends, the Digital Twin (DT) is the one of major interests for developers and strategy analysts. READ MORE

3. 2. Tool orchestration for modeling, verification and analysis of collaborating autonomous machines

   University essay from Mälardalens högskola/Akademin för innovation, design och teknik

   Author : Pavle Mrvaljevic; [2020]
   Keywords : ;

   Abstract : System-of-systems (SoS) is a collective of multiple system units that have a common purpose. In this thesis, the Volvo Electric Site is investigated as an example case study in which safety and performance properties of collaborating autonomous machines are evaluated and analyzed. READ MORE

4. 3. A GUI Design of Robot Motion and Task Planning Based on Linear Temporal Logic

   University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

   Author : Tengfan Lin; [2018]
   Keywords : ;

   Abstract : Recent approaches solve the problem of robot motion and task planningby using formal methods-based model checking algorithms. Inthis work, we consider the software package P-MAS-TG, an automatictool to generate correct-by-design controllers for robot motion and taskplanning. READ MORE

5. 4. LTL Motion Planning with Collision Avoidance for A Team of Quadrotors

   University essay from KTH/Skolan för elektro- och systemteknik (EES)

   Author : Ziwei Xu; [2016]
   Keywords : Finite transition system FTS ; Linear Temporal Logic LTL formula; Büchi automaton BA ; Optimal path; Robotic operating system ROS ;

   Abstract : Linear Temporal Logic (LTL), as one of the temporal logic, can generate a fully automated correct-by-design controller synthesis approach for single or multiple autonomous vehicles, under much more complex missions than the traditional point-to-point navigation.In this master thesis, a framework which combines model- checking-based robot motion planning with action planning is proposed based on LTL for-mulas. READ MORE

6. 5. Automatic Software Synthesis from High-Level ForSyDe Models Targeting Massively Parallel Processors

   University essay from KTH/Skolan för informations- och kommunikationsteknik (ICT)

   Author : George Ungureanu; [2013]
   Keywords : system design flow; high abstraction-level models; ForSyDe; GPGPU; CUDA; time-parallel; data-parallel;

   Abstract : In the past decade we have witnessed an abrupt shift to parallel computing subsequent to the increasing demand for performance and functionality that can no longer be satisfied by conventional paradigms. As a consequence, the abstraction gab between the applications and the underlying hardware increased, triggering both industry and academia in several research directions. READ MORE