short-paper

Model driven design of heterogeneous synchronous embedded systems

Authors:

Jiaguang SunAuthors Info & Claims

ASE '16: Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering

Pages 774 - 779

https://doi.org/10.1145/2970276.2970280

Published: 25 August 2016 Publication History

Abstract

Synchronous embedded systems are becoming more and more complicated and are usually implemented with integrated hardware/software solutions. This implementation manner brings new challenges to the traditional model-driven design environments such as SCADE and STATEMATE, that supports pure hardware or software design. In this paper, we propose a co-design tool Tsmart-Edola to facilitate the system developers, and automatically generate the executable VHDL code and C code from the for- mal verified SyncBlock computation model. SyncBlock is a lightweight high-level system specification model with well defined syntax, simulation and formal semantics. Based on which, the graphical model editor, graphical simulator, verification translator, and code generator are implemented and seamlessly integrated into the Tsmart-Edola. For evaluation, we apply Tsmart-Edola to the design of a real-world train controller based on the international standard IEC 61375. Several critical ambiguousness or bugs in the standard are detected during formal verification of the constructed system model. Furthermore, the generated VHDL code and C code of Tsmart-Edola outperform that of the state-of-the-art tools in terms of synthesized gate array resource consumption and binary code size.

References

[1]

F. Balarin. Hardware-software co-design of embedded systems : the POLIS approach. The Kluwer international series in engineering and computer science. Kluwer Academic Publishers, 1997.

Digital Library

[2]

Berry. Scade-synchoronous design and validation of embedded control software. In Proceedings of the workshop Next generation design and verification methodologies for distributed embedded control systems, pages 19–33. Springer, 2007.

[3]

J. T. Buck, S. Ha, E. A. Lee, and D. G. Messerschmitt. Ptolemy: A framework for simulating and prototyping heterogeneous systems. 1994.

[4]

I. E. Commission et al. Iec 61375-1. Train Communication Network, 2011.

[5]

Duagon. Mvb controller: D113. 2014.

[6]

G. Hamon and J. Rushby. An operational semantics for stateflow. In Fundamental Approaches to Software Engineering, pages 229–243. Springer, 2004.

[7]

D. Harel and M. Politi. Modeling reactive systems with statecharts: the STATEMATE approach. McGraw-Hill, Inc., 1998.

Digital Library

[8]

F. He, L. Yin, and B.-Y. Wang. Beagle http:// sts.thss.tsinghua.edu.cn/ ceagle/.

[9]

Y. Jiang, M. Gu, and J. Sun. User manual of syncblock. In Technical Report, pages 1–56. Tsinghua University, 2015.

[10]

Y. Jiang, H. Zhang, X. Song, W. N. Hung, M. Gu, and J. Sun. Uncertain model and algorithm for hardware/software partitioning. In IEEE Computer Society Annual Symposium on VLSI, 2012, pages 243–248. IEEE, 2012.

Digital Library

[11]

H. Zhang, X. Song, W. N. Hung, M. Gu, and J. Sun. Design of mixed synchronous/asynchronous systems with multiple clocks. In IEEE transaction on parallel and distributed systems. IEEE, 2014.

[12]

T. MathWorks. Simulink. Inc., Natick, MA, 2010.

[13]

R.Aarthipriya and S. Chitrapreyanka. Fpga implementation of multifunction vehicle bus controller with class 2 interface and verification using beaglebone black. International Journal of Science and Engineering Research, 3(5):3221–3225, 2015.

[14]

I. Sander and A. Jantsch. System modeling and transformational design refinement in forsyde {formal system design}. Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on, 23(1):17–32, 2004.

Digital Library

[15]

R. Wang and M. Gu. Formal modeling and synthesis of programmable logic controllers. Computers in Industry, 62(1):23–31, 2011.

Digital Library

[16]

W. Wei and X. Fan. Imperfect information dynamic stackelberg game based resource allocation using hidden markov for cloud computing. 2016.

[17]

H. Zhang, Y. Jiang, X. Song, W. N. Hung, M. Gu, and J. Sun. Tsmart-galsblock: A toolkit for modeling, validation, and synthesis of multi-clocked embedded systems. In Proceedings of the 2014 Foundations of Software Engineering. ACM, 2014.

Digital Library

[18]

Y. Yang. From stateflow simulation to verified implementation: A verification approach and a real-time train controller design. In 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS). IEEE, 2016.

[19]

Y. Jiang and H. Zhang. Design and optimization of multi-clocked embedded systems using formal techniques. IEEE Transactions on Industrial Electronics, 62(2):1270–1278, 2015.

Cited By

Podlubne AGöhringer D(2023)A Survey on Adaptive Computing in Robotics: Modelling, Methods and ApplicationsIEEE Access10.1109/ACCESS.2023.328119011(53830-53849)Online publication date: 2023
https://doi.org/10.1109/ACCESS.2023.3281190
Su ZWang DYang YYu ZChang WLi WCui AJiang YSun J(2022)MDD: A Unified Model-Driven Design Framework for Embedded Control SoftwareIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems10.1109/TCAD.2021.313256441:10(3252-3265)Online publication date: Oct-2022
https://doi.org/10.1109/TCAD.2021.3132564
Su ZWang DYang YJiang YChang WFang LLi WSun J(2022)Code Synthesis for Dataflow-Based Embedded Software DesignIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems10.1109/TCAD.2021.305548741:1(49-61)Online publication date: Jan-2022
https://doi.org/10.1109/TCAD.2021.3055487
Show More Cited By

Index Terms

Model driven design of heterogeneous synchronous embedded systems
1. Software and its engineering
  1. Software organization and properties
    1. Software system structures
      1. Software system models
        Model-driven software engineering

Recommendations

A model-driven design environment for embedded systems
DAC '06: Proceedings of the 43rd annual Design Automation Conference

This paper presents a prototype environment for HW/SW co--design of embedded systems based on the Unified Modeling Language (UML) and SystemC. The environment supports a model-driven SoC design methodology which provides a graphical high-level ...
SystemC/C-based model-driven design for embedded systems

This article summarizes our effort, since 2004 up to the present time, for improving the current industrial Systems-on-Chip and Embedded Systems design by joining the capabilities of the unified modeling language (UML) and SystemC/C programming ...
APPLYING MODEL DRIVEN TECHNIQUES TO EMBEDDED SYSTEMS: Software/Hardware Co-Design

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

ASE '16: Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering

August 2016

899 pages

ISBN:9781450338455

DOI:10.1145/2970276

General Chair:
David Lo
Singapore Management University, Singapore
,
Program Chairs:
Sven Apel
University of Passau, Germany
,
Sarfraz Khurshid
University of Texas at Austin, USA

Copyright © 2016 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

SIGAI: ACM Special Interest Group on Artificial Intelligence
SIGSOFT: ACM Special Interest Group on Software Engineering
IEEE-CS: Computer Society

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 25 August 2016

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Short-paper

Conference

ASE'16

Sponsor:

SIGAI
SIGSOFT
IEEE-CS

ASE'16: ACM/IEEE International Conference on Automated Software Engineering

September 3 - 7, 2016

Singapore, Singapore

Acceptance Rates

Overall Acceptance Rate 82 of 337 submissions, 24%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

5
Total Citations
View Citations
165
Total Downloads

Downloads (Last 12 months)3
Downloads (Last 6 weeks)0

Reflects downloads up to 22 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

Podlubne AGöhringer D(2023)A Survey on Adaptive Computing in Robotics: Modelling, Methods and ApplicationsIEEE Access10.1109/ACCESS.2023.328119011(53830-53849)Online publication date: 2023
https://doi.org/10.1109/ACCESS.2023.3281190
Su ZWang DYang YYu ZChang WLi WCui AJiang YSun J(2022)MDD: A Unified Model-Driven Design Framework for Embedded Control SoftwareIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems10.1109/TCAD.2021.313256441:10(3252-3265)Online publication date: Oct-2022
https://doi.org/10.1109/TCAD.2021.3132564
Su ZWang DYang YJiang YChang WFang LLi WSun J(2022)Code Synthesis for Dataflow-Based Embedded Software DesignIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems10.1109/TCAD.2021.305548741:1(49-61)Online publication date: Jan-2022
https://doi.org/10.1109/TCAD.2021.3055487
Jiang YWang MSu ZYang YWang H(2021)Formal Design of Multi-Function Vehicle Bus ControllerIEEE Transactions on Intelligent Transportation Systems10.1109/TITS.2021.307837222:6(3880-3889)Online publication date: Jun-2021
https://doi.org/10.1109/TITS.2021.3078372
Anwar MRashid MAzam FKashif MButt W(2019)A model-driven framework for design and verification of embedded systems through SystemVerilogDesign Automation for Embedded Systems10.1007/s10617-019-09229-y23:3-4(179-223)Online publication date: 8-Nov-2019
https://doi.org/10.1007/s10617-019-09229-y

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents