PROJECT TITLE :

Formal Semantics, Compilation and Execution of the GALS Programming Language DSystemJ

ABSTRACT:

The paper presents a programming language, DSystemJ, for dynamic distributed Globally Asynchronous Locally Synchronous (GALS) systems, its formal model of computation, formal syntax and semantics, its compilation and implementation. The language is aimed at dynamic distributed systems, which use socket based communication protocols for communicating between components. DSystemJ allows the creation and control at runtime of asynchronous processes called clock-domains, their mobility on a distributed execution platform, as well as the runtime reconfiguration of the system's functionality and topology. As DSystemJ is based on a GALS model of computation and has a formal semantics, it offers very safe mechanisms for implementation of distributed systems, as well as potential for their formal verification. The details and principles of its compilation, as well as its required runtime support are described. The runtime support is implemented in the SystemJ GALS language that can be considered as a static subset of DSystemJ.


Did you like this research project?

To get this research project Guidelines, Training and Code... Click Here


PROJECT TITLE : A Formal Specification and Verification Framework for Timed Security Protocols - 2017 ABSTRACT: Today, protocols typically use time to provide higher security. Parenthetically, essential credentials are often
PROJECT TITLE :Formal Verification With Confidence Intervals to Establish Quality of Service Properties of Software SystemsABSTRACT:Formal verification is employed to determine the compliance of software and hardware systems with
PROJECT TITLE :Integrating Animation-Based Inspection Into Formal Design Specification Construction for Reliable Software SystemsABSTRACT:Software style has been well recognized as an necessary means to attain high reliability,
PROJECT TITLE :A Formal Model of QoS-Aware Web Service Orchestration EngineABSTRACT:QoS-aware applications will satisfy not only the useful needs of the shoppers, but conjointly the QoS necessities. QoS-aware Net service orchestration
PROJECT TITLE :A Formal Approach to Power Optimization in CPSs With Delay-Workload Dependence AwarenessABSTRACT:The planning of cyber-physical systems (CPSs) faces varied new challenges that are exceptional in the planning of

Ready to Complete Your Academic MTech Project Work In Affordable Price ?

Project Enquiry