A Visual Software Development Environment that Considers Tests of Physical Units

Embedded systems are extensively used in various small devices, such as mobile phones, in transportation systems, such as those in cars or aircraft, and in large-scale distributed systems, such as cloud computing environments. We need a technology that can be used to develop low-cost, high-performance embedded systems. This technology would be useful for designing, testing, implementing, and evaluating embedded prototype systems by using a software simulator.

[1]  Takeo Yaku,et al.  HICHART - A HIERARCHICAL FLOWCHART DESCRIPTION LANGUAGE. , 1987 .

[2]  Richard Zurawski.  Embedded systems design and verification , 2009 .

[3]  Tetsuro Nishino,et al.  Behavioral Verification in Hichart Development Environment for Embedded Software , 2010, 2010 IEEE/ACIS 9th International Conference on Computer and Information Science.

[4]  Tetsuro Nishino.  Attribute Graph Grammars with Applications to Hichart Program Chart Editors , 1990 .

[5]  Mordechai Ben-Ari,et al.  Principles of the spin model checker , 2008 .

[6]  Takeo Yaku,et al.  A visual software development environment based on graph grammars , 2004, IASTED Conf. on Software Engineering.

[7]  Takeo Yaku,et al.  Hierarchical program diagram editor based on attribute graph grammar , 1996, Proceedings of 20th International Computer Software and Applications Conference: COMPSAC '96.

[8]  Gerard J. Holzmann,et al.  The Model Checker SPIN , 1997, IEEE Trans. Software Eng..

[9]  Grzegorz Rozenberg,et al.  Handbook of Graph Grammars and Computing by Graph Transformations, Volume 1: Foundations , 1997 .

[10]  S. Narayan.  Requirements for specification of embedded systems , 1996, Proceedings Ninth Annual IEEE International ASIC Conference and Exhibit.

[11]  Carlo Ghezzi,et al.  Context-Free Graph Grammars , 1978, Inf. Control..