Sciweavers

5 search results - page 1 / 1
» Separation of Concerns in the Formal Design of Real-Time Sha...
Sort
View
ACSD
2003
IEEE
87views Hardware» more  ACSD 2003»
15 years 10 months ago
Separation of Concerns in the Formal Design of Real-Time Shared Data-Space Systems
This paper proposes a formal framework for the design of real-time shared data-space systems. The proposed method separates the concerns of functionality, behavior, and timing. Th...
Mohammad Reza Mousavi, Michel A. Reniers, Twan Bas...
160
Voted
ECRTS
2006
IEEE
15 years 11 months ago
A Formal Approach to Multi-Dimensional Sensitivity Analysis of Embedded Real-Time Systems
System robustness is a major concern in the design of efficient and reliable state-of-the-art heterogenous embedded real-time systems. Due to complex component interactions, reso...
Razvan Racu, Arne Hamann, Rolf Ernst
OOPSLA
2005
Springer
15 years 10 months ago
A software product line architecture for distributed real-time and embedded systems: a separation of concerns approach
This paper presents a separation of concerns approach to solve the tangling problem of functional and Quality of Service (QoS) concerns in traditional Component-based Software Eng...
Shih-Hsi Liu
COORDINATION
2005
Springer
15 years 11 months ago
Dynamically Adapting Tuple Replication for Managing Availability in a Shared Data Space
With its decoupling of processes in space and time, the shared data space model has proven to be a well-suited solution for developing distributed component-based systems. However,...
Giovanni Russello, Michel R. V. Chaudron, Maarten ...
181
Voted
JUCS
2010
162views more  JUCS 2010»
15 years 3 days ago
UML Behavior Models of Real-Time Embedded Software for Model-Driven Architecture
Abstract: Model-Driven Architecture (MDA) presents a set of layered models to separate design concerns from platform concerns. The model executability for each model element is sti...
Jin Hyun Kim, Jin-Young Choi, Inhye Kang, Insup Le...