"Using Formal Methods for Designing Embedded Control Systems" . "RIV/61989100:27240/02:00006552!RIV/2003/GA0/272403/N" . . . . "P(GA102/02/1032), Z(MSM 272400013)" . "Kotzian, Ji\u0159\u00ED" . "RIV/61989100:27240/02:00006552" . "[6074F5485EBC]" . "Lund, \u0160v\u00E9dsko" . . . . "668131" . . . . . . "77;84" . . "Stirling" . . "Srovnal, Vil\u00E9m" . "Computer control, Model, Microprocessors, Fieldbus, Real time operating system"@en . . "27240" . . "Using Formal Methods for Designing Embedded Control Systems"@en . . "98"^^ . "Using Formal Methods for Designing Embedded Control Systems"@en . "Progress on the area of embedded control systems is rapidly growing. This paper describes the methodology of their development. The output of modeling and design systems is the source code of used microprocessor. We use for the design the development environment Rhapsody by I-Logix. Applications with Motorola HC12 microprocessors are used the Rhapsody in MicroC by I-Logix integrating Metrowerks (Hiware) C-compiler and source debugger." . "Using Formal Methods for Designing Embedded Control Systems" . "University of Stirling" . . "2002-04-10+02:00"^^ . . "Joint Workshop on Formal Specifications of Computer-Based Systems" . . . "0"^^ . "Progress on the area of embedded control systems is rapidly growing. This paper describes the methodology of their development. The output of modeling and design systems is the source code of used microprocessor. We use for the design the development environment Rhapsody by I-Logix. Applications with Motorola HC12 microprocessors are used the Rhapsody in MicroC by I-Logix integrating Metrowerks (Hiware) C-compiler and source debugger."@en . "0"^^ . "2"^^ . "1-85769-169-5" . "2"^^ . .