Search for dissertations about: "formal analysis of Simulink models"

Found 4 swedish dissertations containing the words formal analysis of Simulink models.

2. 1. Pattern-based Specification and Formal Analysis of Embedded Systems Requirements and Behavioral Models

   Author : Predrag Filipovikj; Cristina Seceleanu; Guillermo Rodriguez-Navas; Stefania Gnesi; Mälardalens högskola; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; pattern-based formal requirements specification; formal requirements consistency analysis; formal analysis of Simulink models; Computer Science; datavetenskap;

   Abstract : Since the first lines of code were introduced in the automotive domain, vehicles have transitioned from being predominantly mechanical systems to software intensive systems. With the ever-increasing computational power and memory of vehicular embedded systems, a set of new, more powerful and more complex software functions are installed into vehicles to realize core functionalities. READ MORE

4. 2. Ontology-based Analysis and Scalable Model Checking of Embedded Systems Models

   Author : Nesredin Mahmud; Cristina Seceleanu; Oscar Ljungkrantz; Guillermo Rodriguez-Navas; Riccardo Scandariato; Mälardalens högskola; []
   Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; requirements specification; embedded systems; ontology; formal methods; simulink; sat; domain specific language; requirements boilerplates; Computer Science; datavetenskap;

   Abstract : Currently, there is lack of effective and scalable methods to specify and ana-lyze requirements specifications, and verify the behavioral models of embed-ded systems. Most embedded systems requirements are expressed in naturallanguage which is flexible and intuitive but frequently ambiguous, vague andincomprehensive. READ MORE

5. 3. Automated Approaches for Formal Verification of Embedded Systems Artifacts

   Author : Predrag Filipovikj; Cristina Seceleanu; Jim Woodcock; Mälardalens högskola; []
   Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; embedded systems; Simulink; systems specifications; model-checking; formal verification; Computer Science; datavetenskap;

   Abstract : Modern embedded software is so large and complex that creating the necessary artifacts, including system requirements specifications and design-time models, as well as assuring their correctness have become difficult to manage. One challenge stems from the high number and intricacy of system requirements that combine functional and possibly timing or other types of constraints, which make them hard to analyze. READ MORE

6. 4. Network on Chip : Performance Bound and Tightness

   Author : Xueqian Zhao; Zhonghai Lu; José Flich Cardo; KTH; []
   Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Network-on-Chip; Performance analysis; Network Calculus; Informations- och kommunikationsteknik; Information and Communication Technology;

   Abstract : Featured with good scalability, modularity and large bandwidth, Network-on-Chip (NoC) has been widely applied in manycore Chip Multiprocessor (CMP) and Multiprocessor System-on-Chip (MPSoC) architectures. The provision of guaranteed service emerges as an important NoC design problem due to the application requirements in Quality-of-Service (QoS). READ MORE