Filters








551,024 Hits in 3.9 sec

A decision model for managing and communicating resource restrictions in embedded systems design

Bernhard Turban, Christian Wolff, Athanassios Tsakpinis, Markus Kucera
2008 2008 International Workshop on Intelligent Solutions in Embedded Systems  
We identify a way for capturing decisions concerning limited resources in embedded systems.  ...  Requirements and requirement traceability play a key role in ensuring that embedded systems meet their goals.  ...  Resource Allocation as a Special Decision Making Case In design activities for embedded systems an additional decision type can be identified dealing with non-functional aspects of limited resources such  ... 
doi:10.1109/wises.2008.4623304 dblp:conf/wises/TurbanWTK08 fatcat:uhsal5k6mbhfjmccrj7bfokf7u

Resource modeling for embedded systems design

O. Sokolsky
Second IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems, 2004. Proceedings.  
Keywords Model-based design, resource modeling, process algebra Comments Abstract The paper describes a formal framework for designing and reasoning about resource-constrained embedded systems.  ...  The paper describes a formal framework for designing and reasoning about resource-constrained embedded systems.  ...  Resource classes We consider a number of resource class definitions that are useful for modeling embedded systems.  ... 
doi:10.1109/wstfes.2004.1300422 dblp:conf/wstfeus/Sokolsky04 fatcat:2aztg5yfgbadre455sfmcoa4ey

Some Issues in Model-Based Development for Embedded Control Systems [chapter]

Paul Caspi
From Model-Driven Design to Resource Management for Distributed Embedded Systems  
This presentation aims to discuss the needs for better and more soUd foundations of model-based development in embedded control systems.  ...  Three particular points are discussed: a comparison between modelbased development in control and in computer sciences, the need for a sampling theory of discrete event systems and the need for precise  ...  for Information Processing, Volume 225, From Model-Driven Design to Resource Management for Distributed Embedded Systems, eds.  ... 
doi:10.1007/978-0-387-39362-9_2 dblp:conf/ifip10-3/Caspi06 fatcat:rblxrwj4vfdt5lgxcxweloduze

Continuous Engineering of Embedded systems [chapter]

Bernhard Steffen, Tiziana Margaria
From Model-Driven Design to Resource Management for Distributed Embedded Systems  
We propose to tackle these issues in a model-driven design paradigm, on the behavioral models, and to employ techniques from automata theory, model checking and automata learning.  ...  We investigate the late phases of the embedded systems' Ufe cycles, in particular the treatment of change requests, the integration of legacy components, and the problem of emerging platforms.  ...  MOTIVATION The bulk of research concerning embedded systems focusses of the early stages of the systems' hfe cycles.  ... 
doi:10.1007/978-0-387-39362-9_6 dblp:conf/ifip10-3/SteffenM06 fatcat:j4fmuv4nbfezhmry5f6ndeao4a

Multi-Objective Design Space Exploration of Embedded System Platforms [chapter]

Jan Madsen, Thomas K. Stidsen, Peter Kjaerulf, Shankar Mahadevan
From Model-Driven Design to Resource Management for Distributed Embedded Systems  
Our approach allows for mapping onto a fixed platform or onto a flexible platform where architectural changes are explored during the mapping.  ...  The objective is to meet all real-time deadlines subject to minimizing system cost and power consumption, while staying within bounds on local memory sizes and interface buffer sizes.  ...  However, the experiment shows how the algorithm is a powerful tool to explore the design space for embedded system architectures with both one and multiple busses.  ... 
doi:10.1007/978-0-387-39362-9_20 dblp:conf/ifip10-3/MadsenSKM06 fatcat:yclqo5sghnfg3lqdwr37gdvu6y

Design Challenges in Multiprocessor Systems-on-Chip [chapter]

Wayne Wolf
From Model-Driven Design to Resource Management for Distributed Embedded Systems  
A multiprocessor system-on-chip is an integrated system that performs realtime tasks at low power and for low cost.  ...  The stringent requirements on multiprocessor systems-on-chips force us to use advanced design methods to create these systems. Both hardware and software design must be taken into account.  ...  , Volume 225, From Model-Driven Design to Resource Management for Distributed Embedded Systems, eds.  ... 
doi:10.1007/978-0-387-39362-9_1 dblp:conf/ifip10-3/Wolf06 fatcat:jxlpkhks7nerffktnq3idkplr4

Model-Based Test Selection for Infinite State Reactive Systems [chapter]

Thierry Jéron
From Model-Driven Design to Resource Management for Distributed Embedded Systems  
We address the problem of otT-line selection of test cases for testing the conformance of a black-box implementation with respect to a specification of a reactive systems.  ...  WQ extend them in the context of infinite state specifications, modelled as automata extended with variables.  ...  ACKNOWLEDGMENTS I wish to thank the Organizing Committee of DIPES for this invitation, as well as all my colleagues who participated in this work.  ... 
doi:10.1007/978-0-387-39362-9_5 dblp:conf/ifip10-3/Jeron06 fatcat:7j7xtoppo5efjoos6c7k4wl2xe

MDE Benefits for Distributed, Real Time and Embedded Systems [chapter]

François Terrier, Sébastien Gérard
From Model-Driven Design to Resource Management for Distributed Embedded Systems  
This paper draws on the AccordluML research project to illustrate the benefits of model-driven engineering for embedded real time systems development.  ...  Embedded systems envelopment are currently being challenged to provide global solutions that reconcile three conflicting agendas: enrichment/refinement of system functionalities, reduction of time-to-market  ...  ., 2006, in IFIP Intemational Federation for Information Processing, Volume 225, From Model-Driven Design to Resource Management for Distributed Embedded Systems, eds. B.  ... 
doi:10.1007/978-0-387-39362-9_3 dblp:conf/ifip10-3/TerrierG06 fatcat:w4j4ktryxrfh7o3n5w75beiqyi

Dynamic Memory Management for Embedded Real-Time Systems [chapter]

A. Crespo, I. Ripoll, M. Masmano
From Model-Driven Design to Resource Management for Distributed Embedded Systems  
The spatial constraint is specially required in embedded systems with mitided resources. An efficient and guaranteed use of memory is needed for these systems.  ...  However, its use in real-time systems has not been considered as an important issue because the spatial and temporal worst case for allocation and deallocation operations were unbounded or bounded but  ...  Fragmentation plays an important role in the system efficiency which is more relevant for embedded systems. TLSF ? is a new allocator has been designed specifically to meet realtime constraints.  ... 
doi:10.1007/978-0-387-39362-9_21 dblp:conf/ifip10-3/CrespoRM06 fatcat:y6m7wlma2zggjdozbettz7a2oe

Transient Processor/Bus Fault Tolerance for Embedded Systems [chapter]

Alain Girault, Hamoudi Kalla, Yves Sorel
From Model-Driven Design to Resource Management for Distributed Embedded Systems  
We propose an approach to build fault-tolerant distributed real-time embedded systems.  ...  From a given system description (application algorithm and architecture) and a given fault hypothesis (type and number of faults to be tolerated), we generate automatically a static fault-tolerant multiprocessor  ...  Management for Distributed Embedded Systems, eds.  ... 
doi:10.1007/978-0-387-39362-9_15 dblp:conf/ifip10-3/GiraultKS06 fatcat:x3p7dl7oejca7jtljzuj55y67y

Model-Based Analysis of a Windmill Communication System [chapter]

Simon Tjell
From Model-Driven Design to Resource Management for Distributed Embedded Systems  
A CPN-based model of the system is used to analyze certain real-time properties of the system.  ...  The modeling language Coloured Petri Nets (CPN) has been applied to analyze the properties of a communication system in a windmill, which enables a group of embedded computers to share a group of variables  ...  ., 2006, in IFIP Intemational Federation for Information Processing, Volume 225, From Model-Driven Design to Resource Management for Distributed Embedded Systems, eds. B.  ... 
doi:10.1007/978-0-387-39362-9_26 dblp:conf/ifip10-3/Tjell06 fatcat:ufsw5btzbjb4vpkmqwixqfyt7i

Pulsed Data Streams [chapter]

Hermann Kopetz
From Model-Driven Design to Resource Management for Distributed Embedded Systems  
This paper proposes a new communication primitive for distributed embedded control systems: the pulsed data stream.  ...  A pulsed data stream is a timetriggered cyclic unidirectional data stream that is transmitted for a short duration at a defined phase of every cycle of a periodic control system.  ...  Fig. 1 : 1 Cyclic Model of Time and phases of a control system. Fig. 1 1 suggest a cyclic, not a linear model time.  ... 
doi:10.1007/978-0-387-39362-9_12 dblp:conf/ifip10-3/Kopetz06 fatcat:bt4juiuj2rafro3yepjud4u3yu

A Hierarchical Approach for Power Management on Mobile Embedded Systems [chapter]

Arliones Stevert Hoeller, Lucas Francisco Wanner, Antônio Augusto Fröhlich
From Model-Driven Design to Resource Management for Distributed Embedded Systems  
Mobile Embedded Systems usually are simple, battery-powered systems with resource limitations. In some situations, their batteries lifetime becomes a primordial factor for reliability.  ...  However, once in such devices processing and memory are often scarce, the power management strategy cannot compromise large amounts of system resources.  ...  for this work.  ... 
doi:10.1007/978-0-387-39362-9_28 dblp:conf/ifip10-3/HoellerWF06 fatcat:ifayyyhnanhlbizbvejdrbmicm

Trends in Timing Analysis [chapter]

Björn Lisper
From Model-Driven Design to Resource Management for Distributed Embedded Systems  
ACKNOWLEDGMENTS I want to thank Jan Gustafsson, Andreas Ermedahl, and Christer Sandberg for their valuable comments.  ...  These problems must be solved to make WCET analysis useful for component-based software systems. Conversely, component models for hard real-time systems should be designed to be analyzable.  ...  This is especially noticeable for distributed component models, where middleware like CORBA is common. There is an increasing interest in CBSE for embedded systems.  ... 
doi:10.1007/978-0-387-39362-9_10 dblp:conf/ifip10-3/Lisper06 fatcat:g34kv7p2tnecxlvekjwqkpgtze

Distributed Timed Multitasking - A Model of Computation for Hard Real-Time Distributed Systems [chapter]

Christo Angelov, Jesper Berthing
From Model-Driven Design to Resource Management for Distributed Embedded Systems  
The paper presents a new type of system architecture for distributed embedded systems, whereby a system is composed from embedded actors that communicate transparently by exchanging labeled messages (signals  ...  The latter has been used to derive a task execution model and requirements specifications for a real-time kernel, which have been used to develop the timed-multitasking version of the HARTEXkQWiQX.  ...  The concluding section presents a summary of the main features of Distributed Timed Multitasking and its implications for embedded software design.  ... 
doi:10.1007/978-0-387-39362-9_16 dblp:conf/ifip10-3/AngelovB06 fatcat:xlgmpabwobcflgrl2v33ozolai
« Previous Showing results 1 — 15 out of 551,024 results