Formal Verification of Concurrent Embedded Software

IFIP Advances in Information and Communication Technology - Embedded Systems: Design, Analysis and Verification ◽

10.1007/978-3-642-38853-8_20 ◽

2013 ◽

pp. 218-227

Author(s):

Dirk Nowotka ◽

Johannes Traub

Keyword(s):

Formal Verification ◽

Embedded Software

Download Full-text

Using Formal Verification in Real-Time Embedded Software Development

10.4271/2005-08-0319 ◽

2005 ◽

Author(s):

Amar Bouali ◽

Bernard Dion ◽

Kosuke Konishi

Keyword(s):

Software Development ◽

Formal Verification ◽

Real Time ◽

Embedded Software

Download Full-text

Formal verification of real-time embedded software in an object-oriented application framework

IEE Proceedings - Computers and Digital Techniques ◽

10.1049/ip-cdt:20041102 ◽

2004 ◽

Vol 151 (6) ◽

pp. 417 ◽

Author(s):

P.-A. Hsiung ◽

T.-Y. Lee ◽

J.-M. Fu ◽

W.-B. See

Keyword(s):

Formal Verification ◽

Real Time ◽

Object Oriented ◽

Embedded Software ◽

Application Framework

Download Full-text

Experience report: Formal verification and testing in the development of embedded software

2015 IEEE 26th International Symposium on Software Reliability Engineering (ISSRE) ◽

10.1109/issre.2015.7381822 ◽

2015 ◽

Author(s):

Andreas Ulrich ◽

Anjelika Votintseva

Keyword(s):

Formal Verification ◽

Embedded Software ◽

Experience Report

Download Full-text

A formal verification technique for embedded software

Proceedings International Conference on Computer Design. VLSI in Computers and Processors ◽

10.1109/iccd.1996.563578 ◽

2002 ◽

Author(s):

O. Thiry ◽

L. Claesen

Keyword(s):

Formal Verification ◽

Embedded Software

Download Full-text

Supporting Model-Based Development with Unambiguous Specifications, Formal Verification and Correct-By-Construction Embedded Software

10.4271/2004-01-1768 ◽

2004 ◽

Author(s):

Wolfram Hohmann

Keyword(s):

Formal Verification ◽

Embedded Software ◽

Download Full-text

Formal verification of automotive embedded software

Proceedings of the 6th Conference on Formal Methods in Software Engineering - FormaliSE '18 ◽

10.1145/3193992.3194003 ◽

2018 ◽

Author(s):

Vassil Todorov ◽

Frédéric Boulanger ◽

Safouan Taha

Keyword(s):

Formal Verification ◽

Embedded Software ◽

Automotive Embedded Software

Download Full-text

Formal verification for embedded software with cognitive environment modelling

2014 IEEE 13th International Conference on Cognitive Informatics and Cognitive Computing ◽

10.1109/icci-cc.2014.6921483 ◽

2014 ◽

Author(s):

Qingdi Meng ◽

Lianyi Zhang ◽

Guiming Luo

Keyword(s):

Formal Verification ◽

Embedded Software ◽

Cognitive Environment ◽

Environment Modelling

Download Full-text

Efficient Modelling of Embedded Software Systems and their Formal Verification

2012 19th Asia-Pacific Software Engineering Conference ◽

10.1109/apsec.2012.21 ◽

2012 ◽

Author(s):

Vladimir Estivill-Castro ◽

Rene Hexel ◽

David A. Rosenblueth

Keyword(s):

Formal Verification ◽

Embedded Software ◽

Software Systems

Download Full-text

Formal Verification of Analysis Approach for Enterprise Information Systems Architecture Using Hypergraph Representation Based on Finite State Machines for Supporting Business Process Requirements

Journal of Applied Business and Economics ◽

10.33423/jabe.v22i9.3686 ◽

2020 ◽

Vol 22 (9) ◽

Keyword(s):

Information Systems ◽

Formal Verification ◽

Business Process ◽

Analysis Approach ◽

State Machines ◽

Enterprise Information ◽

Systems Architecture ◽

Enterprise Information Systems ◽

Finite State ◽

Information Systems Architecture

Download Full-text

A Cooperative Estimation Method by Visualizing Inter-Module Relations in the Reuse-Based Embedded Software Development and Its Evaluation

IEEJ Transactions on Electronics Information and Systems ◽

10.1541/ieejeiss.129.355 ◽

2009 ◽

Vol 129 (2) ◽

pp. 355-365 ◽

Author(s):

Hidetoshi Kambe ◽

Hiroyasu Mitsui ◽

Hisao Koizumi

Keyword(s):

Software Development ◽

Estimation Method ◽

Embedded Software ◽

Cooperative Estimation

Download Full-text