Sciweavers

1105 search results - page 1 / 221
» Timed Automata Model for Component-Based Real-Time Systems
Sort
View
ECBS
2010
IEEE
224views Hardware» more  ECBS 2010»
13 years 10 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 3 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
ASIAN
2006
Springer
140views Algorithms» more  ASIAN 2006»
13 years 7 months ago
Modeling Urgency in Component-Based Real-Time Systems
A component-based realtime system is a simple model for the server-client relation with time constraints. This paper presents an efficient algorithm, called a blackbox testing algo...
Nguyen Van Tang, Dang Van Hung, Mizuhito Ogawa
ECBS
2011
IEEE
271views Hardware» more  ECBS 2011»
12 years 3 months ago
MoPED: A Model-Based Provisioning Engine for Dependability in Component-Based Distributed Real-Time Embedded Systems
—Developing dependable distributed real-time and embedded (DRE) systems incurs significant complexities in the tradeoffs resulting from the different conflicting attributes of ...
Sumant Tambe, Akshay Dabholkar, Aniruddha S. Gokha...
RTAS
2005
IEEE
13 years 9 months ago
Real-Time Component-Based Systems
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...
Shengquan Wang, Sangig Rho, Zhibin Mai, Riccardo B...