Filters








920 Hits in 2.4 sec

System description: Verification of distributed Erlang programs [chapter]

Thomas Arts, Mads Dam, Lars -åke Fredlund, Dilian Gurov
1998 Lecture Notes in Computer Science  
The Erlang Programming Language We consider a core fragment of the Erlang programming language with dynamic networks of processes operating on data types such as numbers, lists, tuples, or process identifiers  ...  Real Erlang C. Kirchner and H. Kirchner (Eds.): Automated Deduction, CADE-15  ...  To facilitate verification of Erlang programs of realistic size we are developing a verification tool implementing a tableau-based proof system described in [DFG98] .  ... 
doi:10.1007/bfb0054244 fatcat:tfkqffxuabdddb2sbk3xivwhja

A Comparison of Six Languages for System Level Description of Telecom Applications [chapter]

Axel Jantsch, Shashi Kumar, Ingo Sander, Bengt Svantesson, Johnny Öberg, Ahmed Hemani, Peeter Ellervee, Mattias O'Nils
2001 Electronic Chips & Systems Design Languages  
The languages under evaluation are VHDL, C++, SDL, Haskell, Erlang, and ProGram.  ...  Based on a systematic evaluation method with a large number of criteria we compare six languages with respect to the suitability as a system specification and description language for telecom applications  ...  Erlang [6] , VHDL, SDL [12] , and ProGram [13] have explicit concurrency; VHDL, C++, and SDL are imperative languages; Haskell [14] , Erlang, and ProGram are declarative languages; C++ and SDL are  ... 
doi:10.1007/978-1-4757-3326-6_15 fatcat:xlrppy5pxbeu7mvqmaquyquveq

A Framework for Formal Reasoning about Open Distributed Systems [chapter]

Lars-åke Fredlund, Dilian Gurov
1999 Lecture Notes in Computer Science  
We present a framework for formal reasoning about the behaviour of distributed programs implementing open distributed systems (ODSs).  ...  parametrised behavioural assertions, and a proof system for proving validity of such assertions which includes proof rules for property decomposition.  ...  Acknowledgements Many thanks are due to Thomas Arts at the Ericsson Computer Science Laboratory and Gennady Chugunov and Mads Dam at the Swedish Institute of Computer Science.  ... 
doi:10.1007/3-540-46674-6_9 fatcat:sdqyidqdffcuzotoba2mmm52si

Start-phase control of distributed systems written in Erlang/OTP [article]

Peter Burcsi, Attila Kovács, Antal Tátrai
2010 arXiv   pre-print
This paper presents a realization for the reliable and fast startup of distributed systems written in Erlang.  ...  The proposed method calls only for slight modifications in the Erlang/OTP stdlib by applying a system dependency graph.  ...  The research was supported by the project TÁMOP-4.2.1/B-09/1/KMR-2010-003 of Eötvös Loránd University.  ... 
arXiv:1003.1395v2 fatcat:7qf2mgjilneulp6rophh2rk6i4

The Need for Language Support for Fault-Tolerant Distributed Systems

Cezara Dragoi, Thomas A. Henzinger, Damien Zufferey, Marc Herbstritt
2015 Summit on Advances in Programming Languages  
Nonetheless there is surprisingly little language and verification support to build distributed systems based on fault-tolerant algorithms.  ...  In this paper, we present some of the challenges that a designer has to overcome to implement a fault-tolerant distributed system.  ...  verification for distributed systems.  ... 
doi:10.4230/lipics.snapl.2015.90 dblp:conf/snapl/DragoiHZ15 fatcat:can5lszufzarzc3kpd5zprhpem

Modelling and simulation of asynchronous real-time systems using Timed Rebeca

Arni Hermann Reynisson, Marjan Sirjani, Luca Aceto, Matteo Cimini, Ali Jafari, Anna Ingolfsdottir, Steinar Hugi Sigurdarson
2014 Science of Computer Programming  
In this paper we propose an extension of the Rebeca language that can be used to model distributed and asynchronous systems with timing constraints.  ...  We developed a tool for automated translation from timed Rebeca to the Erlang language, which provides a first implementation of timed Rebeca.  ...  ) and "Timed Asynchronous Reactive Objects in Distributed Systems: TARO" (nr. 110020021) of the Icelandic Research Fund.  ... 
doi:10.1016/j.scico.2014.01.008 fatcat:wpy2sxzclfg2lnz6cprng65kya

On Synchronous and Asynchronous Monitor Instrumentation for Actor-based systems

Ian Cassar, Adrian Francalanza
2015 Electronic Proceedings in Theoretical Computer Science  
We study the impact of synchronous and asynchronous monitoring instrumentation on runtime overheads in the context of a runtime verification framework for actor-based systems.  ...  synchronous monitoring, a hybrid approach can be used that ensures timely violation detections for the important events while, at the same time, incurring lower overhead costs that are closer to those of  ...  Conclusion We studied various monitoring techniques for actor-based frameworks in the context of Erlang and integrated them within a tool for runtime verification of actor systems.  ... 
doi:10.4204/eptcs.175.4 fatcat:dbtypl3ksfal5ixl2hquajy73e

Modelling and Simulation of Asynchronous Real-Time Systems using Timed Rebeca

Luca Aceto, Matteo Cimini, Anna Ingolfsdottir, Arni Hermann Reynisson, Steinar Hugi Sigurdarson, Marjan Sirjani
2011 Electronic Proceedings in Theoretical Computer Science  
In this paper we propose an extension of the Rebeca language that can be used to model distributed and asynchronous systems with timing constraints.  ...  We developed a tool for automated translation from timed Rebeca to the Erlang language, which provides a first implementation of timed Rebeca.  ...  ) and "Timed Asynchronous Reactive Objects in Distributed Systems: TARO" (nr. 110020021) of the Icelandic Research Fund.  ... 
doi:10.4204/eptcs.58.1 fatcat:zlou2jkyffdnjmqx6xbdfqfsce

Probabilistic Deadline Miss Analysis of Real-Time Systems Using Regenerative Transient Analysis

Laura Carnevali, Alessandra Melani, Luca Santinelli, Giuseppe Lipari
2014 Proceedings of the 22nd International Conference on Real-Time Networks and Systems - RTNS '14  
The methodology leverages the Extreme Value Theory (EVT) for the derivation of the pWCET of tasks by means of Erlang distributions.  ...  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  ...  Static timing analysis performs WCET estimation starting from an accurate system description model [42] .  ... 
doi:10.1145/2659787.2659823 dblp:conf/rtns/CarnevaliMSL14 fatcat:z5btpeemfzej7lex7fdf2h7boa

Logic-based technologies for multi-agent systems: a systematic literature review

Roberta Calegari, Giovanni Ciatto, Viviana Mascardi, Andrea Omicini
2020 Autonomous Agents and Multi-Agent Systems  
On the other hand, agents and multi-agent systems (MAS) have been at the core of the design of intelligent systems since their very beginning, and their long-term connection with logic-based technologies  ...  , which characterised their early days, might open new ways to engineer explainable intelligent systems.  ...  Distributed runtime verification of JADE multiagent systems. In D. Camacho, L. Braubach, S. Venticinque, & C.  ... 
doi:10.1007/s10458-020-09478-3 fatcat:4s2rhluwijan3abqq7dl2htiv4

System-level co-simulation for embedded systems

Mossaad Ben Ayed, Ayman Massaoudi, Shaya A. Alshaya, Mohamed Abid
2020 AIP Advances  
components and functionalities in terms of application programming interface and libraries.  ...  The technological revolution affects the growth of systems in terms of functionality and complexity.  ...  The authors declare that there is no conflict of interest regarding the publication of this paper.  ... 
doi:10.1063/1.5140466 fatcat:le6mp2h26bgovlgvyrn24q42cu

Industrial Strength Distributed Explicit State Model Checking

Brad Bingham, Jesse Bingham, Flavio M. de Paula, John Erickson, Gaurav Singh, Mark Reitblatt
2010 2010 Ninth International Workshop on Parallel and Distributed Methods in Verification, and Second International Workshop on High Performance Computational Systems Biology  
We use the original Murphi front-end to parse the model description, a layer written in Erlang to handle the communication aspects of the algorithm, and also use Murphi as a back-end for state expansion  ...  PREACH is implemented in the concurrent functional language Erlang, chosen for its parallel programming elegance.  ...  British Columbia) for their ongoing support of the PREACH project.  ... 
doi:10.1109/pdmc-hibi.2010.13 fatcat:muqxn7jke5byzmdplu24zhqxly

Use Case Maps as a Feature Description Notation [chapter]

Daniel Amyot
2001 Language Constructs for Describing Features  
This particular view proved very useful in the description of a wide range of reactive and telecommunications systems.  ...  This paper presents some of the most interesting constructs and benefits of the notation in relation to a question on a User Requirements Notation recently approved by ITU-T Study Group 10, which will  ...  Acknowledgements This work results from collaborations and discussions with many colleagues, co-authors, and partners from the University of Ottawa's Lotos group, the UCM User Group, Mitel Corporation  ... 
doi:10.1007/978-1-4471-0287-8_3 dblp:conf/fireworks/Amyot00 fatcat:obasjxo57ray7llmdtt4glua4y

Convolution Model of a Queueing System with the cFIFO Service Discipline

Sławomir Hanczewski, Adam Kaliszan, Maciej Stasiak
2016 Mobile Information Systems  
To verify the accuracy of the model, the results of the analytical calculations are compared with the results of simulation experiments for a number of selected queueing systems.  ...  The article also discusses the results of modelling a number of queueing systems to which different, non-Poissonian, call streams are offered.  ...  , Analysis and Designing of Modern Switching Systems and Telecommunications Networks."  ... 
doi:10.1155/2016/2185714 fatcat:7jxvjdlaena7nmybepu5tocmca

McErlang

Lars-Åke Fredlund, Hans Svensson
2007 Proceedings of the 2007 ACM SIGPLAN international conference on Functional programming - ICFP '07  
We present a model checker for verifying distributed programs written in the Erlang programming language.  ...  In contrast to most other Erlang verification attempts, we provide support for a very substantial part of the language.  ...  For this reason we have implemented in Erlang a new run-time system for the concurrent and distributed part of the language, that implements easy access to the combined system state of an Erlang program  ... 
doi:10.1145/1291151.1291171 dblp:conf/icfp/FredlundS07 fatcat:mfzdnqleubgpxkgpq7pbriuj4m
« Previous Showing results 1 — 15 out of 920 results