000			02827nam a22003855i 4500
999			_c85519 _d85519 _x1
001			85519
003			ES-MaUEC
005			20230207040514.0
007			cr nn 008mamaa
008			160122s2016 gw | s |||| 0|eng d
020			_a9783319289052
040			_aES-MaUEC
050		4	_aQA76.73.P _bG869 2016
082	0	4	_a006.3
100	1		_aGumzej, Roman _0Local _998541
245	1	0	_aEngineering Safe and Secure Cyber-Physical Systems : _bThe Specification PEARL Approach _cby Roman Gumzej
250			_a1st ed.
260			_aCham _bSpringer International Publishing _c2016
300			_a1 recurso en línea (XIII, 128 páginas) _b28 ilustraciones en color
336			_aTexto _btxt _2rdacontent
337			_aelectrónico _bc _2rdamedia
338			_arecurso electrónico _bcr _2rdacarrier
490	0		_aStudies in Computational Intelligence _x1860-949X _v632
505	0		_aIntroduction -- Specification PEARL Language -- Specification PEARL Methodology -- UML 2 Profile for Specification PEARL.-UML Safety Pattern for Specification PEARL -- Specification PEARL Security -- Evaluation of the Methodology -- Conclusion.
520	3		_aThis book introduces the concept of holistic design and development of cyber physical systems to achieve their safe and secure operation. It shows that by following the standards for embedded system�s safety and using appropriate hardware and software components inherently safe system�s architectures can be devised and certified. While the standards already enable testing and certification of inherently safe and sound hardware, this is still not the case with software. The book demonstrates that Specification PEARL(SPEARL) addresses this issue and proposes appropriate solutions from the viewpoints of software engineering as well as concrete program components. By doing so it reduces the complexity of cyber physical systems design in an innovative way. Three ultimate goals are being followed in the course of defining this new PEARL standard, namely: 1. simplicity over complexity, 2. inherent real-time ability, and 3. conformity to safety integrity and security capability levels.
650		7	_aProgramación en tiempo real _0comprobar BNE19900997218 _2embne _9665539
710	2		_aSpringerLink (Online service) _0Local _9106996
856	4	0	_uhttps://go.openathens.net/redirector/universidadeuropea.es?url=https://link.springer.com/book/10.1007/978-3-319-28905-2 _zAcceso a este recurso digital (usuarios Universidad Europea de Madrid)
901			_ai9783319289052
907			_a.b12947970 _b10-10-17 _c21-11-16
942			_2lcc _cLE
945			_aQA76.73.P G869 2016 EB _g1 _ieBOOK _j0 _lmae _o- _pEUR0.00 _q- _r- _sb _t15 _u0 _v0 _w0 _x0 _y.i11591481 _z06-04-17
988			_aEBOOK, asignarmaterias , EBSPRINGER
998			_am _a_alco _a_vill _b - - _cm _dz _e- _feng _ggw _h0