Paper Info
Title
An Integrated Approach to Specification and Validation of Real-Time Systems
Abstract
This work presents an integrated approach which covers from the formal specification to the analysis and use of tools to prove properties about real-time systems. The proposed language to specify the system behaviour is Timed-CSP-Z, a combination of Timed CSP and Z. We propose a rule-based strategy for converting a Timed-CSP-Z specification to TER Nets, a high level Petri Net based formalism with time. The conversion enables us to use the CABERNET tool to analyse desired properties. As a practical case study we discuss the application of this approach to the specification and analysis of an On-board Computer of a Brazilian microsatellite.
Year
DOI
Venue
2001
10.1007/3-540-45251-6_16
FME
Keywords
Field
DocType
high level petri,brazilian microsatellite,integrated approach,formal specification,timed-csp-z specification,real-time systems,practical case study,ter nets,cabernet tool,on-board computer,timed csp,real time systems,rule based
Abstract data type,Specification language,Petri net,Computer science,Expert system,Real-time computing,Formal specification,Real-time operating system,Language Of Temporal Ordering Specification,Knowledge base
Conference
ISBN
Citations 
PageRank 
3-540-41791-5
2
0.40
References 
Authors
13
3
Name
Order
Citations
PageRank
Adnan Sherif1835.26
Augusto Sampaio29613.42
Sérgio Cavalcante320.73