000 04760nam a22005655i 4500
001 978-0-387-27559-8
003 DE-He213
005 20161121230516.0
007 cr nn 008mamaa
008 100806s2005 xxu| s |||| 0|eng d
020 _a9780387275598
_9978-0-387-27559-8
024 7 _a10.1007/11523277
_2doi
050 4 _aTK5105.5-5105.9
072 7 _aUKN
_2bicssc
072 7 _aCOM075000
_2bisacsh
082 0 4 _a004.6
_223
245 1 0 _aFrom Specification to Embedded Systems Application
_h[electronic resource] /
_cedited by Achim Rettberg, Mauro C. Zanella, Franz J. Rammig.
246 3 _aIFIP TC10 Working Conference: Internationall Embedded Systems Symposium (IESS), August 15-17, 2005, Manaus, Brazil
264 1 _aBoston, MA :
_bSpringer US :
_bImprint: Springer,
_c2005.
300 _aXII, 320 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aIFIP On-Line Library in Computer Science,
_x1868-4238 ;
_v184
505 0 _aDesign 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.
520 _aAs 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.
650 0 _aComputer science.
650 0 _aComputer communication systems.
650 0 _aSoftware engineering.
650 0 _aOperating systems (Computers).
650 0 _aComputers.
650 0 _aArtificial intelligence.
650 1 4 _aComputer Science.
650 2 4 _aComputer Communication Networks.
650 2 4 _aArtificial Intelligence (incl. Robotics).
650 2 4 _aOperating Systems.
650 2 4 _aInformation Systems and Communication Service.
650 2 4 _aSoftware Engineering/Programming and Operating Systems.
700 1 _aRettberg, Achim.
_eeditor.
700 1 _aZanella, Mauro C.
_eeditor.
700 1 _aRammig, Franz J.
_eeditor.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9780387275574
830 0 _aIFIP On-Line Library in Computer Science,
_x1868-4238 ;
_v184
856 4 0 _uhttp://dx.doi.org/10.1007/11523277
912 _aZDB-2-SCS
950 _aComputer Science (Springer-11645)
999 _c499838
_d499838