1105 search results - page 2 / 221 » Timed Automata Model for Component-Based Real-Time Systems |
SNPD
2008
13 years 6 months ago
2008
This paper focuses on studying efficient solutions for modeling and deriving compositional tests for component-based real-time systems. In this work, we propose a coherent framewo...
RTCSA
2003
IEEE
13 years 10 months ago
2003
IEEE
Increasing complexity of real-time systems, and demands for enabling their configurability and tailorability are strong motivations for applying new software engineering principle...
COOPIS
2004
IEEE
13 years 8 months ago
2004
IEEE
Large scale distributed real time and embedded (DRE) applications are complex entities that are often composed of different subsystems and have stringent Quality of Service (QoS) r...
ISORC
2005
IEEE
13 years 10 months ago
2005
IEEE
As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-ch...
ISORC
2000
IEEE
13 years 9 months ago
2000
IEEE
We describe a real-time, component-based system for an inspection application. We chose the inspection application and the accompanying task (or scenario) so that we might fully e...