Search for dissertations about: "Consistency Checking"

Showing result 1 - 5 of 16 swedish dissertations containing the words Consistency Checking.

2. 1. Caches, Transactions and Memories : Models, Coherence and Consistency

   Author : Yunyun Zhu; Parosh Abdulla; Mohamed Faouzi Atig; Ahmed Rezine; Bengt Jonsson; Riadh Robbana; Uppsala universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; cache coherence protocol; transactional memory; weak memory model; model checking; parameterized system; Computer Science; Datavetenskap;

   Abstract : Computers have brought us inestimable convenience in recent years. We have become dependent on them and more sensitive to their performance. During the past decades, we have been trying to improve program efficiency. The invention of multi-core systems is regarded as the new era of boosting performance of computer programs. READ MORE

4. 2. Advancing Continuous Model-Based Development in Industry

   Author : Robbert Jongeling; Jan Carlson; Manuel Wimmer; Mälardalens högskola; []
   Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Model-Based Development; Continuous Integration; Consistency Checking; Software Product Lines; Industrial Software Engineering; Computer Science; datavetenskap;

   Abstract : For the development of complex software systems, two prominent paradigms have become popular in the industry: model-based development and agile software development. Model-based development holds the promise of improving the productivity of software development through abstraction, by focusing on the problem domain and capturing it in models. READ MORE

5. 3. Lightweight consistency checking for advancing continuous model-based development in industry

   Author : Robbert Jongeling; Jan Carlson; Antonio Vallecillo; Mälardalens universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Computer Science; datavetenskap;

   Abstract : For the development of modern software-intensive systems, a large number of development artifacts are created and maintained to design and implement their intended structure and behavior. In this thesis, we consider continuous model-based development settings in which models and other development artifacts are developed incrementally, in short development cycles. READ MORE

6. 4. 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

7. 5. Design of Assured and Efficient Safety-critical Systems

   Author : Nesredin Mahmud; Cristina Seceleanu; Guillermo Rodriguez-Navas; Joost-Pieter Katoen; Mälardalens högskola; []
   Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; embedded systems design; safety critical systems; real time systems; formal method; optimization; model checking; Simulink; Computer Science; datavetenskap;

   Abstract : Safety-critical   systems   need   to   be   analyzed rigorously to remove software/specifications errors, that is, their requirements specifications should be unambiguous, comprehensible and consistent, and the software design should conform to the specifications, hence avoiding undesirable system failures. Currently, there is a lack of effective and scalable methods to specify and analyze requirements, and formally analyze the behavioral models of embedded systems. READ MORE