57,518 Hits in 5.0 sec

Rapid prototyping of formally modelled distributed systems

D. Buchs, M. Buffo
Proceedings Tenth IEEE International Workshop on Rapid System Prototyping. Shortening the Path from Specification to Prototype (Cat. No.PR00246)  
This paper presents various kinds of prototypes, used in the prototyping of formally modelled distributed systems.  ...  It is illustrated through the use of the formal modelling language for distributed systems CO-OPN /2 .  ...  Acknowledgements We would like to thanks Shane Sendall for his helpful comments on a first draft of this paper.  ... 
doi:10.1109/iwrsp.1999.779023 dblp:conf/rsp/BuchsB99 fatcat:zo4zmq5gn5axzf7airiphlvkmu

An introduction to rapid system prototyping

F. Kordon, Luqi
2002 IEEE Transactions on Software Engineering  
This brief introduction to the special section on Rapid System Prototyping illustrates a current picture of Prototyping.  ...  The IEEE defines Prototyping as a development approach promoting the implementation of a pilot version of the intended product.  ...  Curie (Paris, France) and is currently a professor of computer science at this university where he chairs a team involved in prototyping techniques for distributed systems (modeling, formal verification  ... 
doi:10.1109/tse.2002.1033222 fatcat:xdkxrcgojfe2zaipaih77obotm

An Overview of Rapid System Prototyping Today

F. Kordon, J. Henkel
2003 Design automation for embedded systems  
It will open new frontiers in terms of applications in areas/devices ranging from security systems (e.g. video surveillance), control systems (e.g. automotive control), individual health systems (e.g.  ...  of view:  ...  About the Special Issue The thirteenth IEEE International Workshop on Rapid System Prototyping (RSP) presented and explored recent trends in rapid prototyping of Computer Based Systems.  ... 
doi:10.1023/b:daem.0000013062.16911.c5 fatcat:zde2qyfdqbdo5h4hnzi33yiuoq

Rapid Prototyping of Intrusion Detection Systems

Fabrice Kordon, Jean-Baptiste Voron, Liviu Iftode
2007 Rapid System Prototyping (RSP), Proceedings of the IEEE International Workshop on  
Therefore, a rapid prototyping process based on automation of tedious and error-prone tasks (analysis, code generation) is required to speed up the development cycle.  ...  Building Distributed Real-Time Embedded systems requires a stringent methodology, from early requirements capture to full implementation.  ...  Singhoff from the Cheddar project and the members of the IST-ASSERT project for their feedback on earlier version of this work. This work is partially funded by the IST-ASSERT project.  ... 
doi:10.1109/rsp.2007.33 dblp:conf/rsp/KordonVI07 fatcat:lidkep4r6vdwdllkxj7kurw3oi

Letter from the editor-in-chief

Hugo Fuks
2008 Journal of the Brazilian Computer Society  
This is achieved by reusing as much as possible the code of an available sequential SMT solver and by adopting the ToolBus architecture for rapid prototyping.  ...  The fifth paper is entitled "A Prototype Implementation of a Distributed Satisfiability Modulo Theories Solver in the ToolBus Framework".  ... 
doi:10.1007/bf03192548 fatcat:hjgfwq5mvjakjozn5j3tygrqem

Letter From the Editor-in-Chief

Hugo Fuks
2008 Journal of the Brazilian Computer Society  
This is achieved by reusing as much as possible the code of an available sequential SMT solver and by adopting the ToolBus architecture for rapid prototyping.  ...  The fifth paper is entitled "A Prototype Implementation of a Distributed Satisfiability Modulo Theories Solver in the ToolBus Framework".  ... 
doi:10.1590/s0104-65002008000100002 fatcat:ymbu6t5wyna2lkx4iysdmqqo4e

Creating and Validating Embedded Assertion Statecharts

Doron Drusinsky, Man-Tak Shing, Kadir Alpaslan Demir
2007 IEEE Distributed Systems Online  
Here, we focus on the correct development and early use of statechart assertions in rapid system prototyping.  ...  Using runtime monitoring and verification of temporal assertions in tandem with rapid prototyping helps debug the requirements and identify errors earlier in the design process. 3 NASA used REM to verify  ...  Acknowledgments This article is a revised version of a paper we presented at the Workshop on Rapid Systems Prototyping. 19 A grant from the US Missile Defense Agency helped fund the research we reported  ... 
doi:10.1109/mdso.2007.25 fatcat:5g5thmyljrbfnhf5hl2k4he4qa

A model-driven approach for embedded system prototyping and design

Nicolas Hili, Christian Fabre, Sophie Dupuy-Chessa, Dominique Rieu
2014 2014 25nd IEEE International Symposium on Rapid System Prototyping  
Although several Model-Driven Engineering (MDE) processes have been proposed for ES development, most of them are not completely formalized.  ...  their development (fast prototyping, early validation, parallelization of developments).  ...  A number of model processes was proposed to address industrial concerns related to rapid development and prototyping.  ... 
doi:10.1109/rsp.2014.6966688 dblp:conf/rsp/HiliFDR14 fatcat:snfhfdwpzjblpcar3q4kk5577a

Hardware/software codesign and rapid prototyping of embedded systems

F. Slomka, M. Dorfel, R. Munzenberger, R. Hofmann
2000 IEEE Design & Test of Computers  
., electrical circuits, logic Hardware/Software Codesign and Rapid Prototyping of Embedded Systems Embedded Systems with SDL/MSC 28 This article describes tools for the analysis, synthesis, and rapid prototyping  ...  of distributed embedded real-time systems and presents a complete design flow from specification to implementation.  ...  Rapid prototyping environment The main goal of the prototyping platform (see Figure 3 ) is the realization of large embedded systems as distributed applications.  ... 
doi:10.1109/54.844331 fatcat:7wla7cdyifeenb6wwfrwclbkaq

Formal Description Techniques and Software Engineering: Some Reflections after 2 Decades of Research [chapter]

Juan Quemada
2004 Lecture Notes in Computer Science  
The goals of formal methods and rapid prototyping are not in contradiction, but have very rarely been considered together.  ...  prototypes, whereas formal methods emphasices the preciseness and proper mathematical foundations which eanble the production of unambiguous references needed in protocol engineering.  ...  model of discrete systems.  ... 
doi:10.1007/978-3-540-30232-2_3 fatcat:d56n2mbt45d4npetxdrmvbimra

Extended SDL-Based Tools for Rapid Prototyping of Application Specific Signal Processors [chapter]

Philippe Leblanc, Jean-Luc Roux
1999 Distributed and Parallel Embedded Systems  
Figure 1 below depicts SDL and the associated MSC formalism. These graphical notations allows for intuitive modeling of systems.  ...  The system is formally specified and the resulting model can be executed via simulation.  ... 
doi:10.1007/978-0-387-35570-2_13 fatcat:oi5ajjaz2re7dme4yixxwc7y4u

Rapid development of a distributed shop floor control system from an XML model-based control software specification

J. Shin, H. Cho
2006 International Journal of Production Research  
As the level of distribution in a shop floor grows, the development of a distributed Shop Floor Control System (SFCS) is of significant interest.  ...  As a result, the proposed set of formal models and control engine organizes the rapid development methodology most appropriate for a distributed SFCS.  ...  Acknowledgement The authors acknowledge the partial financial support of the BK21 project.  ... 
doi:10.1080/00207540500269291 fatcat:rqaxyodeyre4npo3pzszlvwzji

Verifying Distributed Protocols using MSC-Assertions, Run-time Monitoring, and Automatic Test Generation

Doron Drusinsky, Man-Tak Shing
2007 Rapid System Prototyping (RSP), Proceedings of the IEEE International Workshop on  
This paper addresses the need for formal specification and runtime verification of system-level requirements of distributed reactive systems.  ...  The prototype consists of the following components: (i) an OMNeT++ model of the network using non-trivial communication conditions, (ii) C++ code for the network agents, (iii) a system-level assertion  ...  temporal behavior for distributed system prototypes.  ... 
doi:10.1109/rsp.2007.39 dblp:conf/rsp/DrusinskyS07 fatcat:oeflgeatnnh6dobzsb6nhpqth4

Automatic Distributed Code Generation from Formal Models of Asynchronous Concurrent Processes

Hugues Evrard, Frederic Lang
2015 2015 23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing  
Formal process languages inheriting the concurrency and communication features of process algebras are convenient formalisms to model distributed applications, especially when they are equipped with formal  ...  We present an experiment where DLC generates a distributed implementation from the LNT model of the Raft consensus algorithm.  ...  We think the combination of LNT, CADP and DLC provides a featureful framework for the formal verification and rapid prototyping of distributed systems.  ... 
doi:10.1109/pdp.2015.96 dblp:conf/pdp/EvrardL15 fatcat:atyi6lwoxzeyhe7j6hsb7cmdya


Miroslav Sveda, Radimir Vrba
2005 IFAC Proceedings Volumes  
The paper presents an approach to formal specification, verification and prototyping of network applications ranging from large information systems down to small components embedded e.g. in mobile devices  ...  This contribution discusses in more detail executable specifications and rapid prototyping for structured design and structural specifications and verifications for object-oriented design.  ...  Development of such complex systems necessarily stems from formal specifications and their verification and prototyping.  ... 
doi:10.3182/20050703-6-cz-1902.01182 fatcat:qwfy2lnrnvbxjajlxe7ahfp4hq
« Previous Showing results 1 — 15 out of 57,518 results