On designing a framework for distributed real-time embedded control systems

Closed loop control systems are in essence parallel and distributed. But when implementing this parallelism in software, lot of obstacles concerning multithreading communication and synchronization issues arise. Using multithreading in safe and structured way is possible if the program is built such that it can be checked using some formal mathematical algebra (e.g. CSP). Fortunately, several formal checking tools and libraries implementing CSP based constructs are available for most widely used general purpose programming languages.\ud One of those libraries is the CT library [1, 2], developed at University of Twente

Embedding a hardware description language in a functional meta-programming language

General purpose functional languages such as Haskell, have been widely used as host languages for the embedding of domain specific languages. In particular, various hardware description languages have been successfully embedded in Haskell and other functional languages. More recently, meta-programming languages have also started being used for the embedding of such languages, where the meta-language features allow us to access the structure of data objects in a shallow-style embedding, while retaining the characteristics of a deep-embedding. In this paper, we discuss the application of meta-functional languages for the embedding of a hardware description language, based on reFLect, a functional meta-language which provides an alternative approach for embedding a hardware description language by means of built-in reflection features. Through the use of code quotation and pattern matching, we use reFLect to build a framework through which we can access the structure of our circuits by means of reflection.peer-reviewe

Operational framework based on modeling languages to support product repository implementation.

Part 3: Tools and MethodologiesInternational audienceEmbracing Product Lifecycle Management approach involves integrating a product repository in the company information system. From customer's needs to disposal stage, several product representations exist. The product repository purpose is to secure consistency of one product representation with the others. This paper presents an operational modeling framework that supports product repository implementation. In order to ensure consistency, this framework identifies correspondences between entities of languages (“trade” languages and standard languages). The presented concepts are illustrated with correspondences between language entities of product designed and productplanned to be built Bills of Materials

Programming and Control of a Single-Column Analog Simulated Moving Bed Process

With the advancements in technology, the development of tools for the control and testing of the progress in different fields, such as chromatography, has become essential in concerns to lab work and prototyping. As such, many programming languages have been adapted and developed with the objective to make the development of such tools easier. As our group built the Single-Column Analog Simulated Moving Bed chromatography process, the need for a versatile program to ease and simplify the procedure of tests and adjustments was met with the development of a tool written in the Julia and Python programming languages. The use of the aforementioned languages enabled us to speed up the processes of testing and modifying the system built, helping us to get more accurate results and meet deadlines for reports and presentations. With this it can be summarized that the development of easy-to-use programs aided by effective programming languages for the purpose of technological and scientific research is of the interest of various different fields as it allows them to hasten the development of the processes in study

Engineering Object-Oriented Semantics Using Graph Transformations

In this paper we describe the application of the theory of graph transformations to the practise of language design. We have defined the semantics of a small but realistic object-oriented language (called TAAL) by mapping the language constructs to graphs and their operational semantics to graph transformation rules. In the process we establish a mapping between UML models and graphs. TAAL was developed for the purpose of this paper, as an extensive case study in engineering object-oriented language semantics using graph transformation. It incorporates the basic aspects of many commonly used object-oriented programming languages: apart from essential imperative programming constructs, it includes inheritance, object creation and method overriding. The language specification is based on a number of meta-models written in UML. Both the static and dynamic semantics are defined using graph rewriting rules. In the course of the case study, we have built an Eclipse plug-in that automatically transforms arbitrary TAAL programs into graphs, in a graph format readable by another tool. This second tool is called Groove, and it is able to execute graph transformations. By combining both tools we are able to visually simulate the execution of any TAAL program