|Title:||The Functional Paradigm in Embedded Real-Time Systems|
Packsize Technologies is a medium scale packaging company that builds and distributes packaging machines that are specialized in on demand packaging with focus on lean manufacturing. In this thesis the authors will redesign the software implementation of their newest machine the iQ Fusion built for medium sized companies which is currently under development. With this machine the authors will investigate whether a functional implementation of the control unit is possible, and if so what tradeoffs one has to take into account when choosing language paradigm.
The current implementable idea is to build the system in two levels. One level that essentially executes state, it receives a new state from the high level part and moves from the current physical state to the one needed by the higher level part. The higher level parts assignment is to decide upon these state transitions.
The authors suggests to build the high level part of the system with the functional language paradigm and to strive for a purely functional implementation. This will yield these benefits:
The lower part will be done in an imperative language supported by the PLC i.e. C and its assignment is only to handle the physical aspects of the machine.
The goal of this project is to investigate whether it is possible to use the functional language paradigm when it comes to industrial low level control systems.
Other questions to answer during the project will include:
The expected outcome of this project is to answer the preceding questions. In an ideal situation the outcome will be a fully functional implementation of the iQ Fusion control unit using the functional language paradigm or a combination of both the functional and imperative language paradigm. This implementation should preferably include state transition logging. If this is achievable a good comparison between both implementations are the ideal outcome.
This project is suited for two students at master level.
|Company:||Packsize Technologies, kontaktperson: Stefan Karlsson|
|Prel. end date:||2014-09-26|
|Student:||Emil Bergström firstname.lastname@example.org|
|Student:||Shiliang Tong email@example.com|