Journal of Software Engineering and Applications

Volume 9, Issue 9 (September 2016)

ISSN Print: 1945-3116   ISSN Online: 1945-3124

Google-based Impact Factor: 2.23  Citations  h5-index & Ranking

Specification and Verification of Dynamically Reconfigurable Systems Using Dynamic Linear Hybrid Automata

HTML  XML Download Download as PDF (Size: 3730KB)  PP. 452-478  
DOI: 10.4236/jsea.2016.99030    1,356 Downloads   1,878 Views  Citations

ABSTRACT

A dynamically reconfigurable system can change its configuration during operation, and studies of such systems are being carried out in many fields. In particular, medical technology and aerospace engineering must ensure system safety because any defect will have serious consequences. Model checking is a method for verifying system safety. In this paper, we propose the Dynamic Linear Hybrid Automaton (DLHA) specification language and show a method to analyze reachability for a system consisting of several DLHAs.

Share and Cite:

Yanase, R. , Sakai, T. , Sakai, M. and Yamane, S. (2016) Specification and Verification of Dynamically Reconfigurable Systems Using Dynamic Linear Hybrid Automata. Journal of Software Engineering and Applications, 9, 452-478. doi: 10.4236/jsea.2016.99030.

Copyright © 2021 by authors and Scientific Research Publishing Inc.

Creative Commons License

This work and the related PDF file are licensed under a Creative Commons Attribution 4.0 International License.