Title :
Using Formal Methods to Design Measuring Systems
Author :
Lukaszewski, Robert ; Winiecki, Wieslaw
Author_Institution :
Inst. of Radioelektronics, Warsaw Univ. of Technol., Warsaw
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;
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
DOI :
10.1109/IDAACS.2005.283001
