Sökning: "simulink"
Visar resultat 1 - 5 av 55 avhandlingar innehållade ordet simulink.
1. 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
2. Understanding, Measuring, and Evaluating Maintainability of Automotive Software
Sammanfattning : Context: The importance of software maintainability is well-addressed by software engineering research, in general. Particularly for object-oriented and open-source software, measurements as a means to represent maintainability are well-established. LÄS MER
3. Design of Assured and Efficient Safety-critical Systems
Sammanfattning : 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. LÄS MER
4. 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
5. The Pneumatic Hybrid Vehicle - A New Concept for Fuel Consumption Reduction
Sammanfattning : Urban traffic involves frequent acceleration and deceleration. During deceleration, the energy previously used to accelerate the vehicle is mainly wasted on heat generated by the friction brakes. If this energy that is wasted in traditional internal combustion engines (ICE) could be saved, the fuel economy would improve. LÄS MER