000			03268nam a22004095i 4500
001			84713
003			ES-MaUEC
005			20230207040437.0
007			cr nn 008mamaa
008			151012s2016 gw | s |||| 0|eng d
020			_a9783319208220
040			_aES-MaUEC
050		4	_aTK7895.E42 _bM688 2016
082	0	4	_a621.3815
100	1		_aMoutinho, Filipe de Carvalho. _997097 _0Local
245	1	0	_aDistributed Embedded Controller Development with Petri Nets : _bApplication to Globally-Asynchronous Locally-Synchronous Systems _cby Filipe de Carvalho Moutinho, Luís Filipe Santos Gomes
250			_a1st ed.
260			_aCham _bSpringer International Publishing _c2016
300			_a1 recurso en línea (XII, 79 páginas) _b37 ilustraciones, 33 ilustraciones en color
336			_aTexto _btxt _2rdacontent
337			_aelectrónico _bc _2rdamedia
338			_arecurso electrónico _bcr _2rdacarrier
490	0		_aSpringerBriefs in Electrical and Computer Engineering _x2191-8112 _v150
505	0		_aIntroduction -- Related work -- Development of distributed embedded controllers -- Application Example -- Conclusions and future work.
520	3		_aThis book describes a model-based development approach for globally-asynchronous locally-synchronous distributed embedded controllers.� This approach uses Petri nets as modeling formalism to create platform and network independent models supporting the use of design automation tools.� To support this development approach, the Petri nets class in use is extended with time-domains and asynchronous-channels. The authors� approach uses models not only providing a better understanding of the distributed controller and improving the communication among the stakeholders, but also to be ready to support the entire lifecycle, including the simulation, the verification (using model-checking tools), the implementation (relying on automatic code generators), and the deployment of the distributed controller into specific platforms. Uses a graphical and intuitive modeling formalism supported by design automation tools; Enables verification, ensuring that the distributed controller was correctly specified; Provides flexibility in the implementation and maintenance phases to achieve desired constraints (high performance, low power consumption, reduced costs), enabling porting to different platforms using different communication nodes, without changing the underlying behavioral model.
710	2		_aSpringerLink (Online service) _0Local _9106996
942			_2lcc _cLE
988			_aEBOOK, asignarmaterias , EBSPRINGER
650		7	_aMicroprocesadores _9141164 _0comprobar BNE19900994978 _2embne
650		7	_aElectrónica _0comprobar BNE19900963053 _2embne _9138690
700	1		_aSantos Gomes, Luís Filipe. _997098 _0Local
856	4	0	_uhttps://go.openathens.net/redirector/universidadeuropea.es?url=https://link.springer.com/book/10.1007/978-3-319-20822-0 _zAcceso a este recurso digital (usuarios Universidad Europea de Madrid)
901			_ai9783319208220
907			_a.b12939912 _b10-10-17 _c21-11-16
998			_am _a_alco _a_vill _b - - _cm _dz _e- _feng _ggw _h0
945			_aTK7895.E42 M688 2016 EB _g1 _ieBOOK _j0 _lmae _o- _pEUR0.00 _q- _r- _sb _t15 _u0 _v0 _w0 _x0 _y.i11584373 _z06-04-17
999			_c84713 _d84713 _x1