Verification and Validation Methods for Formal Descriptions

Type

grant

Keywords

verification, testing, proof checking, temporal logics, process algebras, tools, case studies

Abstract

1) Verification (software & hardware), testing, proof checking, temporal
logic, simulation, visualization, transformation, finite state machines.

2) Languages, formal semantics, standardization, specification, temporal
logic, process algebras, object orientation, data types, modularity,
non-functional aspects.

3) Implementation, tools

4) Case studies, distributed systems, intelligence networks

5) Real time

Team members

Kemal Inan, Prof. Dr. (EEED METU) , research leader
Brim Luboš, prof. RNDr., CSc. (FI MUNI) , team leader
Křetínský Mojmír, prof. RNDr., CSc. (FI MUNI) , team leader
Šárek Milan, Ing. (CVIS VUT) , team leader
Švéda Miroslav, Doc. Ing., CSc. (UIVT FEI VUT) , team leader

Publications

1997

ŠVÉDA Miroslav. Design Method, Fail-Stop Safety Model, and Embedded Application. Journal of Systems Architecture, vol. 43, no. 1, 1997, pp. 47-57. ISSN 1383-7621. Detail
ŠVÉDA Miroslav, BABKA Oto and FREEBURN Jana. Knowledge Preserving Development: A Case Study. In: Proc. IEEE Conf. Engineering of Computer-Based Systems. Monterey, California: IEEE Computer Society, 1997, pp. 347-352. ISBN 0-8186-7889-5. Detail

1996

ŠVÉDA Miroslav. A Prototyping Technique for Distributed Microcontrollers. In: CSS '96. Brno: unknown, 1996, pp. 61-68. ISBN 80-214-0768-9. Detail
ŠVÉDA Miroslav. A Prototyping Technique with an Asynchronous Specification Language. In: Proc. Euromicro'96. Prague: unknown, 1996, pp. 151-157. ISBN 0-8186-7487-3. ISSN 1089-6503. Detail
ŠVÉDA Miroslav. Development Environment for Local-Time Design Method. Cybernetics and Systems, vol. 27, no. 2, 1996, pp. 197-212. ISSN 0196-9722. Detail
ŠVÉDA Miroslav. Formal Specifications with Local Time Concept. In: Proc. IEE Conf. WODES'96. Edinburgh: unknown, 1996, pp. 356-361. ISBN 0-85296-664-4. Detail
ZEZULKA František and ŠVÉDA Miroslav. Specification of Anticipative Problems in Control Engineering. Advances in Modeling of Anticipative Systems. Baden-Baden: International Institute of Informacs and Systemics, 1996, pp. 79-83. ISBN 1-921836-43-1. Detail
ŠVÉDA Miroslav and ZEZULKA František. Specification of Anticipative Problems in Control Engineering. Advances in Modelling of Anticipative Systems. Baden-Baden: International Institute of Informacs and Systemics, 1996, pp. 79-83. ISBN 0-92183-43-14. Detail

1995

ŠVÉDA Miroslav. Development Environment for Local-Time Design Method. In: Collection of Abstracts: EUROCAST'95. Innsbruck: unknown, 1995, pp. 1-3. Detail
ŠVÉDA Miroslav. Local Time Specifications for Real-Time Systems Design. In: Proceedings of Int. Conf. Real Time '95. Ostrava: unknown, 1995, pp. 186-193. ISBN 80-901751-6-3. Detail
ŠVÉDA Miroslav. Local-Time Specification Concepts. In: Collection of Abstracts: IFIP Workshop on CAST and Computer Systems Technology. Innsbruck: unknown, 1995, pp. 1-3. Detail

1994

ŠVÉDA Miroslav. A Model of Local Time for Distributed Real-Time Control Systems. In: Cybernetics and Systems Research'94. Vienna: unknown, 1994, pp. 175-182. ISBN 981-02-1761-7, 9. Detail
ŠVÉDA Miroslav, VRBA Radimír, LEGÁT Pavel and ZEZULKA František. ASI Instrumentation. Microprocessing and Microprogramming (North-Holland), vol. 40, no. 10, 1994, pp. 879-882. ISSN 0165-6074. Detail
DOUŠEK Antonín and ŠVÉDA Miroslav. Development Environment with Local-Time Method. In: ASRTP '94. Košice: Faculty of Electrical Engineering and Informatics, University of Technology Košice, 1994, pp. 418-423. Detail
ŠVÉDA Miroslav. Fuel Stand Control System Design. Elektrotechnik und Informationstechnik ÖVE - Verbandszeitschrift, vol. 111, no. 4, 1994, pp. 171-173. ISSN 0932-383X. Detail
ŠVÉDA Miroslav. Multiple Lift Control System. In: Proceedings 20th Euromicro 94 Conf.. Liverpool: unknown, 1994, pp. 581-587. ISBN 0-8186-6430-4. Detail