19 search results - page 2 / 4 » Model-Checking of Component-Based Event-Driven Real-Time Emb... |
APSEC
2001
IEEE
13 years 8 months ago
2001
IEEE
CSREAESA
2006
13 years 6 months ago
2006
We present our joint view for efficient development of efficient and dependable ERTS (Embedded Real-Time Systems). This view is based on the three main viewpoints of (1) the softw...
RTAS
2005
IEEE
13 years 10 months ago
2005
IEEE
Component technology has become a central focus of software engineering in research and development. Reusability is a key factor that contributes to its success. The reuse of comp...
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...
ADAEUROPE
2008
Springer
13 years 11 months ago
2008
Springer
: The concept of interface in Ada 2005 significantly facilitates its usage as the basis for a software components technology. This technology, taking benefit of the resources that ...