Towards a Process Algebra for Shared Processors

AbstractWe present initial work on a timed process algebra that models sharing of processor resources allowing preemption at arbitrary points in time. This enables us to model both the functional and the timely behaviour of concurrent processes executed on a single processor. We give a refinement relation that describes that one process is more deterministic than another. Applications of the model for process scheduling, programming language semantics, and kernel development are outlined

Concurrent Design of Embedded Control Software

Embedded software design for mechatronic systems is becoming an increasingly time-consuming and error-prone task. In order to cope with the heterogeneity and complexity, a systematic model-driven design approach is needed, where several parts of the system can be designed concurrently. There is however a trade-off between concurrency efficiency and integration efficiency. In this paper, we present a case study on the development of the embedded control software for a real-world mechatronic system in order to evaluate how we can integrate concurrent and largely independent designed embedded system software parts in an efficient way. The case study was executed using our embedded control system design methodology which employs a concurrent systematic model-based design approach that ensures a concurrent design process, while it still allows a fast integration phase by using automatic code synthesis. The result was a predictable concurrently designed embedded software realization with a short integration time

Choreographies in Practice

Choreographic Programming is a development methodology for concurrent software that guarantees correctness by construction. The key to this paradigm is to disallow mismatched I/O operations in programs, called choreographies, and then mechanically synthesise distributed implementations in terms of standard process models via a mechanism known as EndPoint Projection (EPP). Despite the promise of choreographic programming, there is still a lack of practical evaluations that illustrate the applicability of choreographies to concrete computational problems with standard concurrent solutions. In this work, we explore the potential of choreographies by using Procedural Choreographies (PC), a model that we recently proposed, to write distributed algorithms for sorting (Quicksort), solving linear equations (Gaussian elimination), and computing Fast Fourier Transform. We discuss the lessons learned from this experiment, giving possible directions for the usage and future improvements of choreography languages

A concurrent design approach and model management support to prevent inconsistencies in multidisciplinary modelling and simulation

Cyber-physical systems are multidisciplinary systems which involve different engineering disciplines in their design. Each engineering discipline tends to use its own domain-specific languages and tools to model different aspects of a system concurrently. The concurrent modelling process may introduce inconsistencies due to lack of common knowledge and communication among domain experts. Especially for co-modelling and co-simulation developments, a huge amount of models, versions of models and design alternatives may be produced, which highly increases the design space and the chance of having inconsistent models. This paper introduces a model management support and concurrent design flow to prevent inconsistencies and maintain synchronization among models. Besides the consistency checking scheme, a co-evolution graph can be generated by the model management system to visualize the concurrent development process and prevent inconsistencies. The model management system and concurrent design flow have been applied on a line following robot to show how to use this approach and its advantages

Modelling the Product Development performance of Colombian Companies

Organised by: Cranfield UniversityThis paper presents the general model of the Product Development Process (PDP) in the Metal mechanics Industry in Barranquilla-Colombia, since this sector contributes significantly to the productivity of this industrial city. This case study counted on a five-company sample. The main goal was to model the current conditions of the PDP according to the Concurrent Engineering philosophy. The companies were selected according to their productive profile, in order to contrast differences regarding the structure of their productive processes, conformation of multidisciplinary teams, integration of different areas, customers and suppliers to the PDP; human resources, information, technology and marketing constraints.Mori Seiki – The Machine Tool Compan

A Generic Model of Contracts for Embedded Systems

We present the mathematical foundations of the contract-based model developed in the framework of the SPEEDS project. SPEEDS aims at developing methods and tools to support "speculative design", a design methodology in which distributed designers develop different aspects of the overall system, in a concurrent but controlled way. Our generic mathematical model of contract supports this style of development. This is achieved by focusing on behaviors, by supporting the notion of "rich component" where diverse (functional and non-functional) aspects of the system can be considered and combined, by representing rich components via their set of associated contracts, and by formalizing the whole process of component composition

A Calculus for Orchestration of Web Services

Service-oriented computing, an emerging paradigm for distributed computing based on the use of services, is calling for the development of tools and techniques to build safe and trustworthy systems, and to analyse their behaviour. Therefore, many researchers have proposed to use process calculi, a cornerstone of current foundational research on specification and analysis of concurrent, reactive, and distributed systems. In this paper, we follow this approach and introduce CWS, a process calculus expressly designed for specifying and combining service-oriented applications, while modelling their dynamic behaviour. We show that CWS can model all the phases of the life cycle of service-oriented applications, such as publication, discovery, negotiation, orchestration, deployment, reconfiguration and execution. We illustrate the specification style that CWS supports by means of a large case study from the automotive domain and a number of more specific examples drawn from it

Visualization of Concurrent Computations: Doctor of Science Dissertation Proposal

Visualization, defined as the graphical representation of symbolic objects and processes, is recognized as an important tool to aid human understanding. This is particularly true in the area of program visualization, which uses images to illustrate the execution of programs. This proposal describes research to investigate the visualization of concurrent computations. The research has two major goals: the development of a model of visualization suitable for concurrent computations, and the development of methodology for constructing visualizations. The proposed visualization model treats visualization as a function from the state of the computation to an image. This differs significantly from the approach used by existing (single-process) visualization systems, but seems highly suitable for concurrent computations. The proposed methodology uses the concepts of program correctness to identify the key properties of a computation and suggest methods of visualizing these properties

Specification and analysis of SOC systems using COWS: a finance case study

Service-oriented computing, an emerging paradigm for distributed computing based on the use of services, is calling for the development of tools and techniques to build safe and trustworthy systems, and to analyse their behaviour. Therefore many researchers have proposed to use process calculi, a cornerstone of current foundational research on specification and analysis of concurrent and distributed systems. We illustrate this approach by focussing on COWS, a process calculus expressly designed for specifying and combining services, while modelling their dynamic behaviour. We present the calculus and one of the analysis techniques it enables, that is based on the temporal logic SocL and the associated model checker CMC. We demonstrate applicability of our tools by means of a large case study, from the financial domain, which is first specified in COWS, and then analysed by using SocL to express many significant properties and CMC to verify them

Improving Construction Process through Integration and Concurrent Engineering

In an increasingly competitive business environment, improvedtime-to-market, reduced production cost, quality of the productand customer involvement are rapidly becoming the key successfactors for any product development process. Consequently, mostorganisations are moving towards the adoption of latest technologyand new management concepts and philosophies such as totalquality management and concurrent engineering (CE) to bringimprovement in their product development process. This paperdiscusses the adoption of integrated processes and CE withinthe construction industry to enable construction organisations toimprove their project development process. It also discusses aproposed integrated database model for the construction projects,which should enable the construction process to improve, becomemore effective and more efficient