Buch, Englisch, 400 Seiten, Format (B × H): 160 mm x 234 mm, Gewicht: 653 g
A Working Guide to Reactive System Design, Runtime Monitoring and Execution-Based Model Checking
Buch, Englisch, 400 Seiten, Format (B × H): 160 mm x 234 mm, Gewicht: 653 g
ISBN: 978-0-7506-7949-7
Verlag: Elsevier Science
Zielgruppe
PRIMARY MARKET: Industry training/self-education of Computer Engineers, System Architects, Software Engineers, Embedded System Developers, Electrical Engineers, System Engineers.
SECONDARY MARKET: Graduate-level software engineering/embedded systems students at universities and colleges.
Autoren/Hrsg.
Fachgebiete
- Technische Wissenschaften Energietechnik | Elektrotechnik Elektrotechnik
- Mathematik | Informatik Mathematik Mathematik Interdisziplinär Systemtheorie
- Interdisziplinäres Wissenschaften Wissenschaften: Forschung und Information Kybernetik, Systemtheorie, Komplexe Systeme
- Technische Wissenschaften Energietechnik | Elektrotechnik Elektrotechnische Normen
Weitere Infos & Material
OUTLINE1. Motivation1.1 The Need for Computer Based Verification1.2 The Desired Process Triangle 1.3 The Need for Integration: UML Statecharts and Formal Specifications2. Assertion Languages, Applications, and Tools2.1 Primary Assertion/Specification Languages: Temporal Logic and Statecharts 2.2 Applications: formal methods, run-time monitoring2.2.1 Classical Formal Methods.2.2.2 Runtime Monitoring and Verification.2.2.3 Automatic Test Generation and Execution-based Model Checking.2.2.4 Run-time Control Flow using Assertions (Exception Handling)2.3 Writing Temporal Logic Assertions: the Process2.4 Tools 3. Integration: UML-Statecharts Integrated with Temporal Logic Assertions3.1 Statechart Specifications3.2 TLCharts3.3. Tools 4. Advanced Topics4.1 Petri Nets for Distributed Systems.4.2 Other Specification Languages: CTL, CTL+, Z.4.3 Automata over Infinite Sequences.4.4. Automata and Semigroups.4.5 LTL vs. First Order Logic and SQL, LTL vs. Regular Expressions.4.6 LTL and Statechart Semantics.4.6 Knowledge Monitoring.