DEALed - A Tool Suite for Distributed Real-Time Systems Development

Authors:
Kirill Bolshakov;Yuri Karpov;Alexei Sintotskij
Affiliations:
-;-;-
Venue:
PaCT '999 Proceedings of the 5th International Conference on Parallel Computing Technologies
Year:
1999

Citing 4
Cited 0

Statecharts: A visual formalism for complex systems

Science of Computer Programming
Dedos: A Distributed Real-Time Environment

IEEE Parallel & Distributed Technology: Systems & Technology
COVERS 3.0 - A C++ Based Graphical Modeling and Simulation Tool

PaCT '97 Proceedings of the 4th International Conference on Parallel Computing Technologies
PVS: Combining Specification, Proof Checking, and Model Checking

FMCAD '96 Proceedings of the First International Conference on Formal Methods in Computer-Aided Design

Quantified Score

Hi-index	0.00

Visualization

Abstract

DEALed is a tool suite for development of distributed systems using DEAL language. DEAL is being developed at Eindhoven University of Technology as a part of DEDOS project. Area of application of the DEALed is the development of the distributed realtime safety-critical control systems.