Advanced search
Found 2 essays matching the above criteria.
-
1. Design and Implementation of Downtime Management System for Assembly Production : Software specification and practical challenges
University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)Abstract : The usage of information technology (IT) systems has become an integral part of assembly manufacturing. Supervisory control and data acquisition (SCADA) systems are widely used in order to control production cycles and monitor equipment such as conveyor belts. READ MORE
-
2. A Specification for Time-Predictable Communication on TDM-based MPSoC Platforms
University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)Abstract : Formal System Design (ForSyDe) aims to bring the design of multiprocessor systems-on-chip (MPSoCs) to a higher level of abstraction and bridge the abstraction gap by transformational design refinement. The current research is focused on a correct-by-construction design flow, which requires design space exploration including formal models of computation and timepredictable platforms. READ MORE