000 04411nam a22003975i 4500
001 278649
003 MX-SnUAN
005 20160429153913.0
007 cr nn 008mamaa
008 150903s2005 xxu| o |||| 0|eng d
020 _a9780387275598
_9978-0-387-27559-8
024 7 _a10.1007/11523277
_2doi
035 _avtls000330409
039 9 _a201509030753
_bVLOAD
_c201404121019
_dVLOAD
_c201404090756
_dVLOAD
_c201401311340
_dstaff
_y201401291454
_zstaff
_wmsplit0.mrc
_x829
050 4 _aTK5105.5-5105.9
100 1 _aRettberg, Achim.
_eeditor.
_9301424
245 1 0 _aFrom Specification to Embedded Systems Application /
_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,
_c2005.
300 _aXII, 320 páginas,
_brecurso en línea.
336 _atexto
_btxt
_2rdacontent
337 _acomputadora
_bc
_2rdamedia
338 _arecurso en línea
_bcr
_2rdacarrier
347 _aarchivo de texto
_bPDF
_2rda
490 0 _aIFIP On-Line Library in Computer Science,
_x1571-5736 ;
_v184
500 _aSpringer eBooks
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.
590 _aPara consulta fuera de la UANL se requiere clave de acceso remoto.
700 1 _aZanella, Mauro C.
_eeditor.
_9302410
700 1 _aRammig, Franz J.
_eeditor.
_9300068
710 2 _aSpringerLink (Servicio en línea)
_9299170
776 0 8 _iEdición impresa:
_z9780387275574
856 4 0 _uhttp://remoto.dgb.uanl.mx/login?url=http://dx.doi.org/10.1007/11523277
_zConectar a Springer E-Books (Para consulta externa se requiere previa autentificación en Biblioteca Digital UANL)
942 _c14
999 _c278649
_d278649