000			02104nam a22003257a 4500
003			ZW-GwMSU
005			20201002112144.0
008			201002b ||||| |||| 00| 0 eng d
020			_a9780124166196 (pbk.)
040			_bEnglish _cMSU _erda
041			_aeng
050	0	0	_aTK7895.E42
100	1		_aSelic, Bran _eauthor
245	1	0	_aModeling and analysis of real-time and embedded systems with UML and MARTE : _bdeveloping cyber-physical systems _ccreated by Bran Selić and Sébastien Gérard
260			_aAmsterdam _bElsevier _c2014
300			_a287 pages _bill. _c24 cm
336			_atext _2rdacontent
337			_aunmediated _2rdamedia _bn
338			_avolume _2rdacarrier _bnc
504			_aIncludes bibliographical references and index
505			_aPreface I: Introduction 1: An Overview of MARTE II: Foundations 2: An Introduction to the UML Profile Mechanism 3: Specifying System Qualities (Non-Functional Properties) 4: Modeling Time and Resources III: Modeling Real-Time Software Systems with MARTE 5: Basic Application Modeling 6: Platform Modeling 7: Specifying Deployment 8: Combining MARTE and SysML 9: Modeling Component Based Systems 10: Combining MARTE and SysML IV: System analysis using MARTE 11: Foundations of System Analysis 12: Performance Analysis 13: Schedulability Analysis V: Extending MARTE 14: Extending MARTE APPENDICES A. The Value Specification Language B. The MARTE NFP Library Reference C. MARTE tools
520			_aExplains how to apply the complex MARTE standard in practical situations. This guide illustrates with numerous examples how you can use MARTE to design and develop real-time and embedded systems and software
630	0	0	_aUML (Computer science)
650		0	_aEmbedded computer systems _xComputer simulation
650		0	_aUML (Computer science)
650		0	_aComputer architecture. Operating systems
700	1		_aGérard, Sébastien _eauthor
942			_2lcc _cB
999			_c155126 _d155126