SAC
2006
ACM
14 years 10 days ago
2006
ACM
We propose a simple programming language, called Nemo, specific to the domain of multi-task real-time embedded systems, such as in robotic, automotive or avionics systems. It can ...
DT
2008
14 years 15 days ago
2008
In the past decade real-time embedded systems became more and more complex and pervasive. From the user perspective, these systems have stringent requirements regarding size, perfo...
ECRTS
2010
IEEE
14 years 19 days ago
2010
IEEE
—In distributed real-time embedded systems (DRE), it is common to model an application as a set of task chains. Each chain is activated cyclically and must complete before an end...
CAINE
2003
14 years 1 months ago
2003
Most distributed real-time embedded systems are specified combining state diagram and data flow languages. This leads to several real-time codes which together do not necessaril...
ISCAPDCS
2008
14 years 1 months ago
2008
--With the development of networked real-time embedded systems, the ability to guarantee traffic throughput rates and to decrease delay, energy, and loss rates, is particularly imp...
ETFA
2008
IEEE
14 years 2 months ago
2008
IEEE
In this paper we discuss the separation between attributes on functionality and on structure following an approach based on Model Driven Engineering (MDE). We adopt a methodologic...
ASWSD
2006
Springer
14 years 4 months ago
2006
Springer
Modern real-time embedded systems are complex, distributed, feature-rich applications. Model-based development of real-time embedded systems promises to simplify and accelerate the...
HASE
2007
IEEE
14 years 4 months ago
2007
IEEE
We present a tool-supported approach to the validation of system-level timing properties in formal models of distributed real-time embedded systems. Our aim is to provide system a...
EUROMICRO
2009
IEEE
14 years 4 months ago
2009
IEEE
SaveCCM is a domain specific component model developed specifically for safety-critical hard real-time embedded systems in the vehicular domain. This paper expands the scope of Sa...
DATE
2007
IEEE
2007
IEEE
Energy minimization with soft real-time and DVS for uniprocessor and multiprocessor embedded systems
14 years 4 months ago
Energy-saving is extremely important in real-time embedded systems. Dynamic Voltage Scaling (DVS) is one of the prime techniques used to achieve energy-saving. Due to the uncertai...