000 | 04176nam a22003855i 4500 | ||
---|---|---|---|
001 | 294787 | ||
003 | MX-SnUAN | ||
005 | 20160429155200.0 | ||
007 | cr nn 008mamaa | ||
008 | 150903s2005 gw | o |||| 0|eng d | ||
020 |
_a9783540319733 _99783540319733 |
||
024 | 7 |
_a10.1007/b106761 _2doi |
|
035 | _avtls000348088 | ||
039 | 9 |
_a201509030442 _bVLOAD _c201405070458 _dVLOAD _y201402071019 _zstaff |
|
040 |
_aMX-SnUAN _bspa _cMX-SnUAN _erda |
||
050 | 4 | _aTK7874.6 | |
100 | 1 |
_aBouyssounouse, Bruno. _eautor _9328668 |
|
245 | 1 | 0 |
_aEmbedded Systems Design : _bThe ARTIST Roadmap for Research and Development / _cby Bruno Bouyssounouse, Joseph Sifakis. |
264 | 1 |
_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg, _c2005. |
|
300 |
_axv, 492 páginas Also available online. _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 |
_aLecture Notes in Computer Science, _x0302-9743 ; _v3436 |
|
500 | _aSpringer eBooks | ||
505 | 0 | _aHard Real-Time Development Environments -- Executive Overview on Hard Real-Time Development Environments -- Hard Real-Time System Development -- Current Design Practice and Needs in Selected Industrial Sectors -- Tools for Requirements Capture and Exploration -- Tools for Architecture Design and Capture -- Tools for Programming, Code Generation, and Design -- Tools for Verification and Validation -- Middleware for Implementing Hard Real-Time Systems -- Review of Some Advanced Methodologies -- Component-Based Design and Integration Platforms -- Executive Overview on Component-Based Design and Integration Platforms -- Component-Based System Development -- Current Design Practice and Needs in Selected Industrial Sectors -- Components and Contracts -- Component Models and Integration Platforms: Landscape -- Standardization Efforts -- References -- Adaptive Real-Time Systems for Quality of Service Management -- Executive Overview on Adaptive Real-Time Systems for Quality of Service Management -- Adaptive Real-Time System Development -- Current Design Practice and Needs in Selected Industrial Sectors -- Real-Time Scheduling -- Real-Time Operating Systems -- QoS Management -- Real-Time Middleware -- Networks -- Programming Languages for Real-Time Systems -- Other Issues -- Execution Platforms -- Executive Overview on Execution Platforms -- Current Design Practice and Needs in Selected Sectors -- Computing Platforms -- Low Power Engineering. | |
520 | _aThis extensive and increasing use of embedded systems and their integration in everyday products mark a significant evolution in information science and technology. Nowadays embedded systems design is subject to seamless integration with the physical and electronic environment while meeting requirements like reliability, availability, robustness, power consumption, cost, and deadlines. Thus, embedded systems design raises challenging problems for research, such as security, reliable and mobile services, large-scale heterogeneous distributed systems, adaptation, component-based development, and validation and tool-based certification. This book results from the ARTIST FP5 project funded by the European Commision. By integration 28 leading European research institutions with many top researchers in the area, this book assesses and strategically advances the state of the art in embedded systems. The coherently written monograph-like book is a valuable source of reference for researchers active in the field and serves well as an introduction to scientists and professionals interested in learning about embedded systems design. | ||
590 | _aPara consulta fuera de la UANL se requiere clave de acceso remoto. | ||
700 | 1 |
_aSifakis, Joseph. _eautor _9328669 |
|
710 | 2 |
_aSpringerLink (Servicio en línea) _9299170 |
|
776 | 0 | 8 |
_iEdición impresa: _z9783540251071 |
856 | 4 | 0 |
_uhttp://remoto.dgb.uanl.mx/login?url=http://dx.doi.org/10.1007/b106761 _zConectar a Springer E-Books (Para consulta externa se requiere previa autentificación en Biblioteca Digital UANL) |
942 | _c14 | ||
999 |
_c294787 _d294787 |