Essays about: "MjukvaruSpecifikation"

Found 2 essays containing the word MjukvaruSpecifikation.

1. 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)

   Author : Gustav Dowling; [2022]
   Keywords : Overall equipment efficiency; Assembly manufacturing; Automotive Industry; Supervisory Control and Data Acquisition; Information Systems; Downtime management; Overall Equipment Efficiency; Monterings produktion; Fordonsindustri; Supervisory Control and Data Acquisition; Information Systems; Stopptidshantering;

   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

3. 2. A Specification for Time-Predictable Communication on TDM-based MPSoC Platforms

   University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

   Author : Kelun Liu; [2021]
   Keywords : Communication; Time-Predictability; Network-on-Chip; Software Specification; Worst-Case Communication Time; Kommunikation; Tid Förutsägbarhet; Nätverk-på-Chip; MjukvaruSpecifikation; Kommunikationstid i Värsta Fall;

   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