Sciweavers

794 search results - page 5 / 159
» Adopting a Software Component Model in Real-Time Systems Dev...
Sort
View
ICSE
1997
IEEE-ACM
15 years 1 months ago
Analyzing Partially-Implemented Real-Time Systems
—Most analysis methods for real-time systems assume that all the components of the system are at roughly the same stage of development and can be expressed in a single notation, ...
George S. Avrunin, James C. Corbett, Laura K. Dill...
ADAEUROPE
2010
Springer
14 years 7 months ago
Towards the Definition of a Pattern Sequence for Real-Time Applications Using a Model-Driven Engineering Approach
Real-Time (RT) systems exhibit specific characteristics that make them particularly sensitive to architectural decissions. Design patterns help integrating the desired timing behav...
Juan A. Pastor, Diego Alonso, Pedro Sánchez...
76
Voted
ASWSD
2006
Springer
15 years 1 months ago
Towards Model-Driven Development of Hard Real-Time Systems
Christian Ferdinand, Reinhold Heckmann, Hans-J&oum...
99
Voted
ISORC
2005
IEEE
15 years 3 months ago
Model-Checking of Component-Based Event-Driven Real-Time Embedded Software
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...
Zonghua Gu, Kang G. Shin
EUROMICRO
2011
IEEE
13 years 9 months ago
Towards Heterogeneous Composition of Distributed Real-Time and Embedded (DRE) Systems Using the CORBA Component Model
—This paper presents a method for using the CORBA Component Model (CCM) to integrate heterogeneous DRE systems. It has been realized in a extensible C++ template framework named ...
James H. Hill