Sökning: "formal requirements consistency analysis"
Visar resultat 1 - 5 av 9 avhandlingar innehållade orden formal requirements consistency analysis.
1. Pattern-based Specification and Formal Analysis of Embedded Systems Requirements and Behavioral Models
Sammanfattning : 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. LÄS MER
2. Ontology-based Analysis and Scalable Model Checking of Embedded Systems Models
Sammanfattning : 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. LÄS MER
3. Automated Approaches for Formal Verification of Embedded Systems Artifacts
Sammanfattning : 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. LÄS MER
4. Designing Trustworthy Autonomous Systems
Sammanfattning : The design of autonomous systems is challenging and ensuring their trustworthiness can have different meanings, such as i) ensuring consistency and completeness of the requirements by a correct elicitation and formalization process; ii) ensuring that requirements are correctly mapped to system implementations so that any system behaviors never violate its requirements; iii) maximizing the reuse of available components and subsystems in order to cope with the design complexity; and iv) ensuring correct coordination of the system with its environment. Several techniques have been proposed over the years to cope with specific problems. LÄS MER
5. The effects of modeling requirements in early phases of buyer-supplier relations
Sammanfattning : This work is an attempt to attack waste of resources during development of embedded systems. Modern systems, in aircraft or automobiles, constantly grow in complexity and also become more integrated. LÄS MER