Sciweavers

RTS
2006
176views more  RTS 2006»
13 years 4 months ago
Verifying distributed real-time properties of embedded systems via graph transformations and model checking
Component middleware provides dependable and efficient platforms that support key functional, and quality of service (QoS) needs of distributed real-time embedded (DRE) systems. C...
Gabor Madl, Sherif Abdelwahed, Douglas C. Schmidt
COMPSAC
2007
IEEE
13 years 8 months ago
A Component Model for the AUTOSAR Virtual Function Bus
To reduce cost and time to market of automotive software systems and simultaneously increase the products' quality, the component paradigm has achieved broad acceptance withi...
Dietmar Schreiner, Karl M. Göschka
ACMSE
2004
ACM
13 years 10 months ago
Integrating publisher/subscriber services in component middleware for distributed real-time and embedded systems
Although component-based software development has widespread acceptance in the enterprise business and desktop application domains, developers of distributed, real-time and embedd...
George T. Edwards, Douglas C. Schmidt, Aniruddha S...
ISORC
2007
IEEE
13 years 10 months ago
QUICKER: A Model-Driven QoS Mapping Tool for QoS-Enabled Component Middleware
This paper provides three contributions to the study of quality of service (QoS) configuration in component-based DRE systems. First, we describe the challenges associated with m...
Amogh Kavimandan, Krishnakumar Balasubramanian, Ni...