Übersicht			Auf mobile öffnen

Lieferstatus:	Auf Bestellung (Lieferzeit unbekannt)
Veröffentlichung:	September 2014
Genre:	Naturwissensch., Medizin, Technik
	Applied Dynamical Systems / Automotive (motor mechanic) skills / Automotive Engineering / Automotive technology & trades / B / complexity / Computational complexity / Computer modelling & simulation / computer science / Computer simulation / Cybernetics & systems theory / engineering / Industrial and Production Engineering / Industrial safety / quality control / Quality Control, Reliability, Safety and Risk / reliability / Simulation and Modeling mehr...
ISBN:	9783642427169
EAN-Code:	9783642427169
Verlag:	Springer EN
Einband:	Kartoniert
Sprache:	English
Dimensionen:	H 235 mm / B 155 mm / D
Gewicht:	421 gr
Seiten:	257
Illustration:	XI, 257 p.
Zus. Info:	EUDR exemption - product or manufacturing materials placed on the market prior to 31.12.2025.
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

Complexity in automation- and safety systems in railway as well as automotive applications are dominated more and more by formal description means, methods and tools. Formal techniques provide next to correctness and integrity checkups - especially for safety relevant systems - the possibility to model, prove, simulate and check the specification of the system as well as to generate the system implementations. Requirements of the CENELEC- and IEC-Standards on formal techniques, particularly with regard to the handling of safety analysis, are to be treated in FORMS/FORMAT 2010. The main focus lies on topics facing formal techniques for railway applications and intelligent transportation systems as well as for automotive applications. Gained findings, experiences and also difficulties associated with the handling of the subject matter as well as description means and tools are to be shown.