Sciweavers

767 search results - page 3 / 154
» Model-Based Development of Distributed Embedded Real-Time Sy...
Sort
View
WORDS
2002
IEEE
15 years 2 months ago
Middleware Scheduling Optimization Techniques for Distributed Real-Time and Embedded Systems
Developers of mission-critical distributed real-time and embedded (DRE) systems face a fundamental tension between (1) the performance gains achievable with hand-crafted optimizat...
Christopher D. Gill, Ron Cytron, Douglas C. Schmid...
ADAEUROPE
2004
Springer
15 years 2 months ago
The Chance for Ada to Support Distribution and Real-Time in Embedded Systems
This paper presents a modification of GLADE —the current GNAT implementation of the Ada 95 Distributed Systems Annex (DSA)— to support the development of distributed applicatio...
Juan López Campos, J. Javier Gutiérr...
HASE
2007
IEEE
15 years 1 months ago
Validation Support for Distributed Real-Time Embedded Systems in VDM++
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...
John S. Fitzgerald, Simon Tjell, Peter Gorm Larsen...
RSP
2007
IEEE
139views Control Systems» more  RSP 2007»
15 years 3 months ago
Rapid Prototyping of Distributed Real-Time Embedded Systems Using the AADL and Ocarina
Building Distributed Real-Time Embedded systems requires a stringent methodology, from early requirements capture to full implementation. However, there is a strong link between t...
Jérôme Hugues, Bechir Zalila, Laurent...
EMSOFT
2003
Springer
15 years 2 months ago
Emerging Trends in Adaptive Middleware and Its Application to Distributed Real-Time Embedded Systems
Embedded systems have become prevalent in today’s computing world and more and more of these embedded systems are highly distributed and network centric. This adds increasing deg...
Joseph P. Loyall