5 Hits in 3.8 sec

FSMC+, a tool for the generation of Java code from statecharts

Roberto Tiella, Adolfo Villafiorita, Silvia Tomasi
2007 Proceedings of the 5th international symposium on Principles and practice of programming in Java - PPPJ '07  
FSMC+ is a compiler that takes as input a subset of UML Statecharts and produces the corresponding Java and NuSMV code (NuSMV is a model checker developed at ITC-irst).  ...  Even though FSMC+ has been specifically created to ease the development of jprovote, we believe the approach and the tool we developed to be general enough to be used in other applications.  ...  CONCLUSIONS AND FUTURE WORK This paper presented FSMC+, a tool for automatically generating Java code and NuSMV specification from UML Statecharts.  ... 
doi:10.1145/1294325.1294338 dblp:conf/pppj/TiellaVT07 fatcat:fjfx7x6nqnetll327kh3ma5j2i

Development, Formal Verification, and Evaluation of an E-Voting System With VVPAT

A. Villafiorita, K. Weldemariam, R. Tiella
2009 IEEE Transactions on Information Forensics and Security  
What we believe to be of interest is the approach we took for its development, which has been based on a participatory design for the definition of the voter interface, on the usage of formal methods and  ...  (digital divide), violation to secrecy and anonymity, alteration of the results of an election (because of malicious attacks, bad design/coding, or procedural weaknesses).  ...  We did so, by building a tool called FSMC+ that allows for automatic generation of the source code of control logic from the statecharts after they are formally verified.  ... 
doi:10.1109/tifs.2009.2034903 fatcat:jmhukuc7zbfdzgcc2ht6qdikci

Multilanguage Specification for System Design [chapter]

A. A. Jerraya, M. Romdhani, Ph. Marrec, F. Hessel, P. Coste, C. Valderrama, G. F. Marchioro, J. M. Daveau, N.-E. Zergainoh
1999 System-Level Synthesis  
For example, Esterel and StateCharts assume that the transitions of all parallel entities must take the same amount of time.  ...  The recent version of SDL introduces a more generic communication model based on RPC. The new versions will also include more algorithmic capabilities.  ...  The input specification is generally given in a human readable format that may be a textual language (C, VHDL, SDL, JAVA, ...) or a graphical representation (StateCharts, SpecCharts, ...).  ... 
doi:10.1007/978-94-011-4698-2_3 fatcat:xjrihqmg7bczjlwr2eoaezpxsa

Execution of UML models: a systematic review of research and practice

Federico Ciccozzi, Ivano Malavolta, Bran Selic
2018 Journal of Software and Systems Modeling  
Fig. 2 we can see a portion of a UML model representing the smart street lightning system in a concrete graphical syntax, from which executable C++ code can be automatically generated [10] .  ...  Keywords UML · Model execution · Code generation · Model compilation · Model interpretation · Systematic review F. Ciccozzi et al. Fig. 2 Executable UML model (from [10]) too.  ...  , and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.  ... 
doi:10.1007/s10270-018-0675-4 fatcat:ayrdh7bdejfj5hpkt5p5iv6hz4

A Partitioning-Centric Approach for the Modeling and the Methodical Design of Automotive Embedded Systems Architectures [article]

Augustin Kebemou, Technische Universität Berlin, Technische Universität Berlin, Ina Schieferdecker
Because of the increasing demand for more comfort, security and environmental compatibility, the development of E/E-systems (Electric/Electronic) has become a central task for automobile manufacturers.  ...  to design optimal architectures for automobiles' E/E-systems in a relatively short time.  ...  Because of its formal semantic, a wide range of tools of performance exist for editing, analyzing, simulating SDL models including automatic code generation, synthesis and performance analysis.  ... 
doi:10.14279/depositonce-1861 fatcat:2sjhtduq4ndbremyd46xnc2yam