DocumentCode
3237695
Title
Using Formal Methods to Design Measuring Systems
Author
Lukaszewski, Robert ; Winiecki, Wieslaw
Author_Institution
Inst. of Radioelektronics, Warsaw Univ. of Technol., Warsaw
fYear
2005
fDate
5-7 Sept. 2005
Firstpage
349
Lastpage
354
Abstract
The paper presents research on a methodology of design measuring systems (MS) with time limited dataflow. A new method of describing MS model based on Petri Nets is proposed in the paper. The paper provides an overall description of informal and formal methods, which can be used while designing systems.
Keywords
Petri nets; computerised instrumentation; formal specification; formal verification; measurement systems; systems analysis; Petri net; formal specification; formal verification; measurement system software design; time limited dataflow; Design methodology; Fluid flow measurement; Mathematical model; Object oriented modeling; Paper technology; Petri nets; Real time systems; Software design; Software testing; Time measurement; formal methods; measuring systems;
fLanguage
English
Publisher
ieee
Conference_Titel
Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications, 2005. IDAACS 2005. IEEE
Conference_Location
Sofia
Print_ISBN
0-7803-9445-3
Electronic_ISBN
0-7803-9446-1
Type
conf
DOI
10.1109/IDAACS.2005.283001
Filename
4062152
Link To Document