Sciweavers

4350 search results - page 252 / 870
» Case studies for contract-based systems
Sort
View
ASPDAC
2005
ACM
123views Hardware» more  ASPDAC 2005»
16 years 5 days ago
Comparing high-level modeling approaches for embedded system design
- This paper presents a comparison between three different high-level modeling approaches for embedded systems design, focusing on systems that require dataflow models. The propose...
Lisane B. de Brisolara, Leandro Buss Becker, Luigi...
EMSOFT
2005
Springer
16 years 4 days ago
Model-based analysis of distributed real-time embedded system composition
Key challenges in distributed real-time embedded (DRE) system developments include safe composition of system components and mapping the functional specifications onto the target...
Gabor Madl, Sherif Abdelwahed
APSEC
2004
IEEE
15 years 10 months ago
Tool Supported Development of Service-Based Systems
Service-based systems engineering is a recent paradigm that has proven useful for the development of multifunctional systems, whose functions may be used in different contexts and...
Martin Deubler, Johannes Grünbauer, Gerhard P...
DT
2008
75views more  DT 2008»
15 years 6 months ago
Application Scenarios in Streaming-Oriented Embedded-System Design
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...
Stefan Valentin Gheorghita, Twan Basten, Henk Corp...
IJSEKE
2008
103views more  IJSEKE 2008»
15 years 6 months ago
A Modeling Methodology for Conflict Control in Multi-Agent Systems
- Multi-agent systems (MASs) have become an important topic in distributed systems research. These distributed multi-agent systems call for special software modeling methods that e...
Jiexin Lian, Sol M. Shatz