From specification to embedded systems application : IFIP TC10 Working Conference--International Embedded Systems Symposium (IESS), August 15-17, 2005, Manaus, Brazil
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
Congress
1 online resource (xii, 320 pages) : illustrations
9780387275598, 9780387275574, 0387275592, 0387275576
262680454
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