From Specification to Embedded Systems Application

As almost no other technology, embedded systems is an essential element of many innovations in automotive engineering. New functions and improvements of already existing functions, as well as the compliance with traffic regulations and customer requirements, have only become possible by the increasi...

Full description

Bibliographic Details
Other Authors: Rettberg, Achim (Editor), Zanella, Mauro C. (Editor), Rammig, Franz J. (Editor)
Format: eBook
Language:English
Published: New York, NY Springer US 2005, 2005
Edition:1st ed. 2005
Series:IFIP Advances in Information and Communication Technology
Subjects:
Online Access:
Collection: Springer eBooks 2005- - Collection details see MPG.ReNa
LEADER 04141nmm a2200397 u 4500
001 EB000354327
003 EBX01000000000000000207379
005 00000000000000.0
007 cr|||||||||||||||||||||
008 130626 ||| eng
020 |a 9780387275598 
100 1 |a Rettberg, Achim  |e [editor] 
245 0 0 |a From Specification to Embedded Systems Application  |h Elektronische Ressource  |c edited by Achim Rettberg, Mauro C. Zanella, Franz J. Rammig 
246 3 1 |a Internationall Embedded Systems Symposium (IESS), August 15-17, 2005, Manaus, Brazil 
250 |a 1st ed. 2005 
260 |a New York, NY  |b Springer US  |c 2005, 2005 
300 |a XII, 320 p  |b online resource 
505 0 |a Design Methodology -- Domain-Crossing Software Product Lines in Embedded Automotive Systems -- Mechatronics Design and Verification -- Modeling and Specification -- Pattern-based Analysis in Distributed Development of Embedded Systems -- An Embedded SW Design Exploration Approach based on UML Estimation Tools -- Software Synthesis and Power Management -- Embedded Hard Real-Time Software Synthesis considering Dispatcher Overheads -- Formal Verification and Testing -- Specification-based Testing of Real-Time Embedded Systems -- Enhancing Interaction Support in the CORBA Component Model -- Network and Communication Systems -- Adaptable Switch Boxes as On-Chip Routing Nodes for Networks-On-Chip -- Distributed Control Systems -- Integration of Two Complementary Time-Triggered Technologies: TMO and TTP -- Towards Run-Time Partitioning of a Real-Time Operating System for Reconfigurable Systems on a Chip -- Partitioning Metrics for Improved Performance and Economy of Distributed Embedded Systems 
653 |a Information Systems and Communication Service 
653 |a Software engineering 
653 |a Software Engineering/Programming and Operating Systems 
653 |a Operating systems (Computers) 
653 |a Computer communication systems 
653 |a Computers 
653 |a Artificial Intelligence 
653 |a Operating Systems 
653 |a Artificial intelligence 
653 |a Computer Communication Networks 
700 1 |a Zanella, Mauro C.  |e [editor] 
700 1 |a Rammig, Franz J.  |e [editor] 
041 0 7 |a eng  |2 ISO 639-2 
989 |b Springer  |a Springer eBooks 2005- 
490 0 |a IFIP Advances in Information and Communication Technology 
856 4 0 |u https://doi.org/10.1007/11523277?nosfx=y  |x Verlag  |3 Volltext 
082 0 |a 004.6 
520 |a As almost no other technology, embedded systems is an essential element of many innovations in automotive engineering. New functions and improvements of already existing functions, as well as the compliance with traffic regulations and customer requirements, have only become possible by the increasing use of electronic systems, especially in the fields of driving, safety, reliability, and functionality. Along with the functionalities that increase in number and have to cooperate, the complexity of the entire system will increase. Synergy effects resulting from distributed application functionalities via several electronic control devies, exchanging information through the network brings about more complex system architectures with many different sub-networks, operating with different velocities and different protocol implementations. To manage the increasing complexity of these systems, a deterministic behaviour of the control units and the communication network must be provided for, in particular when dealing with a distributed functionality. From Specification to Embedded Systems Application documents recent approaches and results presented at the International Embedded Systems Symposium (IESS 2005), which was held in August 2005 in Manaus (Brazil) and sponsored by International Federation for Information Processing (IFIP). The topics which have been chosen for this working conference are very timely: design methodology, modeling, specification, software synthesis, power management, formal verification, testing, network, communication systems, distributed control systems, resource management and special aspects in system design