Guideline for Validation & Verification Real-Time Embedded Software Systems
نویسنده
چکیده
منابع مشابه
Algorithms and data structures for parametric analysis of real-time systems
This document is intended to contribute to the area of validation and verification of communicating real time systems, with emphasis put on parametric reachability analysis of systems modeled using timed automata. Reachability analysis is a crucial aspect of validation and verification of software and hardware systems. The reachability analysis for real time systems is area that is studied by m...
متن کاملEmbedded Systems Architecture Co-Design and its Validation
Abstract: This dissertation outlines an approach to co-design of hardware and software with the goal to achieve better quality of real-time systems. This work has been done in the framework of a project covering design and development of embedded hard real-time systems as well as their verification and validation. As an example an existing prototype is taken [COL98, GUM97]. The emphasis is on t...
متن کاملPolychronous modeling, analysis, verification and simulation for timed software architectures
High-level modeling languages and standards, such as Simulink, SysML, MARTE and AADL (Architecture Analysis & Design Language), are increasingly adopted in the design of embedded systems so that system-level analysis, verification and validation (V&V) and architecture exploration are carried out as early as possible. This paper presents our main contribution in this aim by considering embedded ...
متن کاملAn Embedded Control Software Development Environment with Data Consistency Verification for Preemptive Multi-Task Systems
The paper presents an embedded control software development environment that provides a tool to verify the data consistency of embedded control software designed with Simulink models and UML models. A controller model is built with MATLAB/Simulink in the control logic design phase. Then a software model that correctly executes the control logic in the actual computing environment is built in th...
متن کاملModel-based Verification and Validation of an Autonomous Vehicle System
The software development for Cyber-Physical Systems (CPS), e.g., autonomous vehicles, requires both functional and non-functional quality assurance to guarantee that the CPS operates safely and effectively. EAST-ADL is a domain specific architectural language dedicated to safety-critical automotive embedded system design. We have previously modified EAST-ADL to include energy constraints and tr...
متن کامل