Sciweavers

3108 search results - page 20 / 622
» An Approach to Incremental Design of Distributed Embedded Sy...
Sort
View
CBSE
2008
Springer
13 years 9 months ago
A Component Model for Control-Intensive Distributed Embedded Systems
Abstract. In this paper we focus on design of a class of distributed embedded systems that primarily perform real-time controlling tasks. We propose a two-layer component model for...
Séverine Sentilles, Aneta Vulgarakis, Tom&a...
ETFA
2008
IEEE
13 years 9 months ago
Functional and structural properties in the Model-Driven Engineering approach
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...
Daniela Cancila, Roberto Passerone
BIRTHDAY
2010
Springer
13 years 9 months ago
Formal Semantics of a VDM Extension for Distributed Embedded Systems
Abstract. To support model-based development and analysis of embedded systems, the specification language VDM++ has been extended with asynchronous communication and improved timin...
Jozef Hooman, Marcel Verhoef
FORMATS
2008
Springer
13 years 9 months ago
A Framework for Distributing Real-Time Functions
Abstract. The design of critical embedded real-time systems requires high confidence in the architecture and the implemented functionalities. Classically, such functions are suppor...
Frédéric Boniol, Pierre-Emmanuel Hla...
EUROMICRO
2007
IEEE
14 years 2 months ago
Applying a Model-based Approach for Embedded System Development
Christian Bunse, Hans-Gerhard Groß, Christia...