The Experts below are selected from a list of 324 Experts worldwide ranked by ideXlab platform
Enrico Tronci - One of the best experts on this subject based on the ideXlab platform.
-
SPIN - A Map-Reduce Parallel Approach to Automatic Synthesis of Control Software
Model Checking Software, 2013Co-Authors: Vadim Alimguzhin, Federico Mari, Igor Melatti, Ivano Salvo, Enrico TronciAbstract:Many Control Systems are indeed Software Based Control Systems, i.e. control systems whose controller consists of control software running on a microcontroller device. This motivates investigation on Formal Model Based Design approaches for Automatic Synthesis of control software.
-
ASE - Automatic Synthesis of control software for an industrial automation control system
14th IEEE International Conference on Automated Software Engineering, 1Co-Authors: Enrico TronciAbstract:We present a case study on Automatic Synthesis of control software from formal specifications for an industrial automation control system. Our aim is to compare the effectiveness (i.e. design effort and controller quality) of Automatic controller Synthesis from closed loop formal specifications with that of manual controller design, followed by Automatic verification. Our experimental results show that for industrial automation control systems, Automatic Synthesis is a viable and profitable (especially as far as design effort is concerned) alternative to manual design, followed by Automatic verification.
Gan Zhao-hui - One of the best experts on this subject based on the ideXlab platform.
-
Research on Automatic Synthesis of Quantum Reversible Logic Circuit
Computer Simulation, 2012Co-Authors: Gan Zhao-huiAbstract:In the paper,the Automatic Synthesis method of quantum reversible logic circuit was proposed,which graph was used to represent quantum reversible logic circuit.In additional,several kinds of mutation operators were designed for directly revise graph and the graph-based clonal selection algorithm was implemented for synthesizing quantum reversible logic circuit.The experimental results show that the proposed method is feasible and effective,and can rapidly obtain the global optimization circuit.
Massimo Tivoli - One of the best experts on this subject based on the ideXlab platform.
-
Automatic Synthesis of modular connectors via composition of protocol mediation patterns
International Conference on Software Engineering, 2013Co-Authors: Paola Inverardi, Massimo TivoliAbstract:Ubiquitous and pervasive computing promotes the creation of an environment where Networked Systems (NSs) eternally provide connectivity and services without requiring explicit awareness of the underlying communications and computing technologies. In this context, achieving interoperability among heterogeneous NSs represents an important issue. In order to mediate the NSs interaction protocol and solve possible mismatches, connectors are often built. However, connector development is a never-ending and error-prone task and prevents the eternality of NSs. For this reason, in the literature, many approaches propose the Automatic Synthesis of connectors. However, solving the connector Synthesis problem in general is hard and, when possible, it results in a monolithic connector hence preventing its evolution. In this paper, we define a method for the Automatic Synthesis of modular connectors, each of them expressed as the composition of independent mediators. A modular connector, as synthesized by our method, supports connector evolution and performs correct mediation.
-
ICSE - Automatic Synthesis of modular connectors via composition of protocol mediation patterns
2013Co-Authors: Paola Inverardi, Massimo TivoliAbstract:Ubiquitous and pervasive computing promotes the creation of an environment where Networked Systems (NSs) eternally provide connectivity and services without requiring explicit awareness of the underlying communications and computing technologies. In this context, achieving interoperability among heterogeneous NSs represents an important issue. In order to mediate the NSs interaction protocol and solve possible mismatches, connectors are often built. However, connector development is a never-ending and error-prone task and prevents the eternality of NSs. For this reason, in the literature, many approaches propose the Automatic Synthesis of connectors. However, solving the connector Synthesis problem in general is hard and, when possible, it results in a monolithic connector hence preventing its evolution. In this paper, we define a method for the Automatic Synthesis of modular connectors, each of them expressed as the composition of independent mediators. A modular connector, as synthesized by our method, supports connector evolution and performs correct mediation.
Dorothy E. Setliff - One of the best experts on this subject based on the ideXlab platform.
-
RTSS - Towards an Automatic Synthesis system for real-time software
[1991] Proceedings Twelfth Real-Time Systems Symposium, 1991Co-Authors: T. E. Smith, Dorothy E. SetliffAbstract:An Automatic Synthesis system for real-time software is described. It is argued that the presence of strict operation requirements, such as task-level timing constraints and compiler and target platform constraints, guides Synthesis. An Automatic software Synthesis system, RT-SYN, integrates platform characteristics to synthesize real-time software which meets hard deadline design requirements. The RT-SYN system has four key features. First, a visual graphical user interface captures application algorithms without implementation specifications. Second, RT-SYN analyzes the task-level data and control flows to produce worst-case timing and space predictions. Third, RT-SYN uses these predictions to choose abstract representations of data structure and algorithm implementations to meet required timing and space constraints. Fourth, RT-SYN synthesizes C code from the selected implementations. Experimental results are given to illustrate these four features. >
Luigi Piroddi - One of the best experts on this subject based on the ideXlab platform.
-
Automatic Synthesis of multiple place resource models with Petri nets
Proceedings of the 2004 American Control Conference, 2004Co-Authors: Luca Ferrarini, Luigi PiroddiAbstract:This paper focuses on the correct representation of shared resources in Petri net models of automated manufacturing systems, in the presence of concurrent independent operations, such as assembly and disassembly ones. In particular, an original multiple-place model is specifically derived and a constructive algorithm is proposed for the Automatic Synthesis of the resource model. The algorithm computes the number of resource places for each resource, as well as their connections to the recipes' transitions. Proper necessary conditions of "well-definiteness" are introduced for the partial models that are incrementally defined by the user.