VDMtool manuals - CSKSYSTEMSCORPORATION VDMTools...

Info iconThis preview shows pages 1–5. Sign up to view the full content.

View Full Document Right Arrow Icon

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: CSKSYSTEMSCORPORATION VDMTools Development Guidelines for Real-Time Systems Using VDMTools ver.1.0 beta How to contact CSK SYSTEMS CORPORATION: http://www.csk.com/systems Web @ VDM.SP@csk.com General information Development Guidelines for Real-Time Systems Using VDMTools 1.0 beta Revised for VDMTools v8.2 beta of VDMTools VICE version c COPYRIGHT 2009 by CSK SYSTEMS CORPORATION The software described in this document is furnished under a license agreement. The soft- ware may be used or copied only under the terms of the license agreement. This document is subject to change without notice Development Guidelines for Real-Time Systems Using VDMTools Contents 1 Introduction 3 1.1 Characteristics of Reactive Real-Time Systems . . . . . . . . . . 3 1.1.1 Challenges of Reactive Systems . . . . . . . . . . . . . . . . . . 4 1.1.2 Challenges of Concurrency . . . . . . . . . . . . . . . . . . . . 4 1.1.3 Challenges of Real-Time . . . . . . . . . . . . . . . . . . . . . 4 1.1.4 Challenges of Distribution . . . . . . . . . . . . . . . . . . . . . 5 1.2 Overview of VDM++ and VDMTools . . . . . . . . . . . . . . . 5 1.2.1 Threads . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6 1.2.2 Duration and Cycles Statements . . . . . . . . . . . . . . . . . . 8 1.2.3 The System and the Environment . . . . . . . . . . . . . . . . . 9 1.2.4 Deployments . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10 1.3 Timing Analysis . . . . . . . . . . . . . . . . . . . . . . . . . . . 10 1.4 Structure of document . . . . . . . . . . . . . . . . . . . . . . . . 13 2 Development Process For Real-Time Systems 14 2.1 Requirements Capture . . . . . . . . . . . . . . . . . . . . . . . 15 2.1.1 Capturing Requirements with UML Use Cases . . . . . . . . . . 16 2.1.2 Capturing Requirements Using VDM-SL . . . . . . . . . . . . . 19 2.1.3 Validating Requirements Capturing . . . . . . . . . . . . . . . . 20 2.1.4 Criteria for Completion . . . . . . . . . . . . . . . . . . . . . . 21 2.2 Sequential Design Model . . . . . . . . . . . . . . . . . . . . . . 21 2.2.1 If UML Was Used For Requirements Capture . . . . . . . . . . 22 2.2.2 When VDM-SL was used for Requirements Capturing . . . . . . 23 2.2.3 Class Descriptions in VDM++ . . . . . . . . . . . . . . . . . . 24 2.2.4 Modelling of Environment . . . . . . . . . . . . . . . . . . . . . 24 2.2.5 Typical Design Structure . . . . . . . . . . . . . . . . . . . . . 24 2.2.6 Validation of the Model . . . . . . . . . . . . . . . . . . . . . . 26 2.2.7 Criteria for Completion . . . . . . . . . . . . . . . . . . . . . . 26 2.3 Concurrent VDM++ Design Model . . . . . . . . . . . . . . . . . 27 2.3.1 Identification of Threads . . . . . . . . . . . . . . . . . . . . . . 27 2.3.2 Communication . . . . . . . . . . . . . . . . . . . . . . . . . . 27 i Development Guidelines for Real-Time Systems Using VDMTools 2.3.3 Synchronization Points . . . . . . . . . . . . . . . . . . . . . . 27 2.3.4 Validation of the Model . . . . . . . . . . . . . . . . . . . . . .....
View Full Document

Page1 / 202

VDMtool manuals - CSKSYSTEMSCORPORATION VDMTools...

This preview shows document pages 1 - 5. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online