Using Formal Methods for Designing Embedded Control Systems
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989100%3A27240%2F02%3A00006552" target="_blank" >RIV/61989100:27240/02:00006552 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Using Formal Methods for Designing Embedded Control Systems
Original language description
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.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
JD - Use of computers, robotics and its application
OECD FORD branch
—
Result continuities
Project
<a href="/en/project/GA102%2F02%2F1032" target="_blank" >GA102/02/1032: Embedded control systems and their inter-communication</a><br>
Continuities
Z - Vyzkumny zamer (s odkazem do CEZ)
Others
Publication year
2002
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
Joint Workshop on Formal Specifications of Computer-Based Systems
ISBN
1-85769-169-5
ISSN
—
e-ISSN
—
Number of pages
98
Pages from-to
77-84
Publisher name
University of Stirling
Place of publication
Stirling
Event location
Lund, Švédsko
Event date
Apr 10, 2002
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—