Real-time object-oriented modeling
Real-time object-oriented modeling
Hardware-software co-design of embedded systems: the POLIS approach
Hardware-software co-design of embedded systems: the POLIS approach
Real-Time Systems: Design Principles for Distributed Embedded Applications
Real-Time Systems: Design Principles for Distributed Embedded Applications
Real-Time Systems: Specification, Verification, and Analysis
Real-Time Systems: Specification, Verification, and Analysis
A Protocol for Loosely Time-Triggered Architectures
EMSOFT '02 Proceedings of the Second International Conference on Embedded Software
About the Design of Distributed Control Systems: The Quasi-Synchronous Approach
SAFECOMP '01 Proceedings of the 20th International Conference on Computer Safety, Reliability and Security
Consistent Graphical Specification of Distributed Systems
FME '97 Proceedings of the 4th International Symposium of Formal Methods Europe on Industrial Applications and Strengthened Foundations of Formal Methods
NuSMV 2: An OpenSource Tool for Symbolic Model Checking
CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
Using Partial Orders to Improve Automatic Verification Methods
CAV '90 Proceedings of the 2nd International Workshop on Computer Aided Verification
Model based testing in incremental system development
Journal of Systems and Software - Special issue: Rapid system prototyping
| Hi-index | 0.00 |
Formalisms for system-level design of embedded HW/SW systems face several challenges: in order to be amenable to systematic formal analysis based on state-space exploration, a modeling notation with a simple formal semantics is desired. Early evaluation of design alternatives demands notations which concentrate on certain aspects of system functionality, while other aspects (such as communication and scheduling) are implicitly encoded in the language semantics, and later realized by HW components, operating systems, and protocol stacks. We describe a system-level design methodology targeted for automotive control applications. Models in a simple graphical component-based input language are compiled into complex system models incorporating abstractions for hardware, operating systems, and inter-processor communication. System models are based on the time-synchronous AutoFocus notation and are used as a basis for formal analysis such as systematic worst-case response time analysis. This paper describes the supported platforms for implementation, the MoDe design notation, and the translation to system models along with a case study describing the analysis procedure.