Log In
Or create an account ->
Imperial Library
Home
About
News
Upload
Forum
Help
Login/SignUp
Index
Cover
Frontmatter
1. Trustworthy Embedded Systems
1. Introduction: OpenComRTOS Role in a Unified Systems Engineering Methodology
2. Requirements and Specifications for the OpenComRTOS Project
2. Formal Modeling Fundamentals
3. The Choice of TLA+/TLC: Comparing Formal Methods
4. Basic Formal Specification in TLA+
3. OpenComRTOS Design
5. Formal Modelling of the RTOS Entities
6. Final Architecture of the RTOS
7. Task Interaction Models in OpenComRTOS
8. Results: Code Size and Performance
4. Appendix
OpenComRTOS-Suite 1.3 Usage Tutorial
Foundations for TLA+ and Temporal Logic
Comparision of Formal Methods
Backmatter
← Prev
Back
Next →
← Prev
Back
Next →