Export Citations
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
- ArticleNovember 2012
Combining IEC 61499 model-based design with component-based architecture for robotics
SIMPAR'12: Proceedings of the Third international conference on Simulation, Modeling, and Programming for Autonomous RobotsPages 349–360https://doi.org/10.1007/978-3-642-34327-8_32The model-driven approach is an increasingly popular trend in software design. It provides many benefits in terms of system design, reusability, and automatic code generation. In the industrial automation domain, the IEC 61499 standard is a recent ...
- ArticleSeptember 2007
Automatic generation of test data generators for synchronous programs: Lutess V2
DOSTA '07: Workshop on Domain specific approaches to software test automation: in conjunction with the 6th ESEC/FSE joint meetingPages 8–12https://doi.org/10.1145/1294921.1294923Lutess is a testing environment designed for synchronous software specified with Lustre, a synchronous data-flow language widely used in safety critical domains such as avionics, energy and transport. Lutess automatically transforms the formal ...
- ArticleJuly 2004
Slicing tools for synchronous reactive programs
ISSTA '04: Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysisPages 217–220https://doi.org/10.1145/1007512.1007541In this paper, we present two slicing tools: VHDL_Slice and Est_slice that compute static executable slices of VHDL and Esterel programs respectively. The slicers have been tested on a number of small and medium sized examples.
Also Published in:
ACM SIGSOFT Software Engineering Notes: Volume 29 Issue 4 - research-articleOctober 1994
Synchronizing Hypercube Networks in the Presence of Faults
IEEE Transactions on Computers (ITCO), Volume 43, Issue 10Pages 1175–1183https://doi.org/10.1109/12.324543Synchronizing distributed networks allows nodes to share resources efficiently, run synchronous programs and vote on redundant results in fault tolerant systems. Due to the low connectivity of hypercube networks, neither the fault tolerant hardware ...
