&mgr;C/OS: the real-time kernel
&mgr;C/OS: the real-time kernel
Specification and design of embedded systems
Specification and design of embedded systems
The revolution in systems engineering
IEEE Spectrum
Concurrent and Real Time Systems: The CSP Approach
Concurrent and Real Time Systems: The CSP Approach
Theory of Modeling and Simulation
Theory of Modeling and Simulation
Design for Testability in Hardware-Software Systems
IEEE Design & Test
Model-based codesign for real-time embedded systems
Model-based codesign for real-time embedded systems
Journal of Intelligent and Robotic Systems
Model-level simulation for COLA
MISE '09 Proceedings of the 2009 ICSE Workshop on Modeling in Software Engineering
Bottom-up reuse for multi-level testing
Journal of Systems and Software
Seamless model-driven development put into practice
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part I
Hi-index | 0.00 |
A multilevel testing approach for embedded systems addresses mixed hardware and software implementations. Contrary to conventional approaches, it provides consistent generation of scenarios throughout all levels of testing, an early assessment of alternative design implementations, integrated system and component testing, and performance assessments of design specifications starting from the system level.