Sciweavers

794 search results - page 3 / 159
» Adopting a Software Component Model in Real-Time Systems Dev...
Sort
View
ECBS
2010
IEEE
224views Hardware» more  ECBS 2010»
14 years 1 months ago
Timed Automata Model for Component-Based Real-Time Systems
—One of the key challenges in modern real-time embedded systems is safe composition of different software components. Formal verification techniques provide the means for design...
Georgiana Macariu, Vladimir Cretu
ENTCS
2006
231views more  ENTCS 2006»
13 years 6 months ago
SaveCCM: An Analysable Component Model for Real-Time Systems
Component based development is a promising approach for embedded systems. Typical for embedded software is the presence of resource constraints in multiple dimensions. An essentia...
Jan Carlson, John Håkansson, Paul Pettersson
ISORC
2008
IEEE
14 years 20 days ago
A Real-Time Java Component Model
The Real-Time Specification for Java (RTSJ) [10] is becoming a popular choice in the world of real-time programming. However, the complexities introduced by RTSJ bring the needs ...
Ales Plsek, Philippe Merle, Lionel Seinturier
ISORC
1998
IEEE
13 years 10 months ago
An Approach to Distributed Component-Based Real-Time Application Software Development
Component-based software development would allow application software be largely constructed, rather than programmed. This approach would dramatically improve the productivity of ...
Stephen S. Yau, Bing Xia
ADAEUROPE
2008
Springer
14 years 19 days ago
An Ada 2005 Technology for Distributed and Real-Time Component-Based Applications
: 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 ...
Patricia López Martínez, José...