Formal Codesign and Implementation for Multifunction Vehicle Bus Circuits
| Autor: | Ji Qi, Kueiming Lo |
|---|---|
| Rok vydání: | 2019 |
| Předmět: |
Computer Networks and Communications
business.industry Computer science Modeling language Semantics (computer science) Hardware description language Aerospace Engineering Program optimization Semantics Automaton Vehicle bus Embedded system Automotive Engineering Code (cryptography) Electrical and Electronic Engineering business computer computer.programming_language Electronic circuit |
| Zdroj: | IEEE Transactions on Vehicular Technology. 68:5221-5235 |
| ISSN: | 1939-9359 0018-9545 |
| DOI: | 10.1109/tvt.2019.2912001 |
| Popis: | Classical hardware development approaches for critical embedded systems are inefficient. Extensive resources must be committed before traditional hardware development can commence. Thus, an efficient method for circuit development is urgently required. In this paper, a computer-aided formal development method for a multifunction vehicle bus (MVB) is addressed. First, a formal modeling language is defined and its semantics are analyzed. Then, in terms of the modeling language, a formal computer-aided-design method is proposed for the design of complex MVB circuits. Core modules are modeled by extended timed automata. After the functionality of the model has been verified, the formal model is automatically converted into the hardware description language (HDL) code. Furthermore, code optimization algorithms are proposed to enhance the quality of the generated HDL code. Finally, the optimal formal MVB is designed and implemented as a circuit. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|