Sökning: "Scheduling system"

Visar resultat 1 - 5 av 343 avhandlingar innehållade orden Scheduling system.

1. 1. !secure(system) <=?=> !safe(system) : On Security and Safety of Industrial Software Systems

   Författare :Marcus Lindner; Per Lindgren; Valeriy Vyatkin; Knut Åkesson; Luleå tekniska universitet; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; embedded systems; hard real-time; concurrency; model of computation; safety-critical; safety; security; industrial automation; RTFM; real-time for the masses; Embedded Systems; Inbyggda system;

   Sammanfattning : The focus of our research work is on readily accessible, embedded, real-time development with concurrency support. To this end, we develop the Real-Time For the Masses (RTFM) programming framework with a model of computation based on tasks and resources and that stipulates a timing semantics. LÄS MER

3. 2. Preemption-Delay Aware Schedulability Analysis of Real-Time Systems

   Författare :Filip Marković; Jan Carlson; Radu Dobrin; Björn Lisper; Enrico Bini; Mälardalens högskola; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Real-time systems; Scheduling; Schedulability analysis; Preemptions; Preemption delays; Embedded Systems; Preemptive scheduling; Response-time analysis; Cache-related preemption delay; Timing analysis; Worst-case execution time analysis; Limited-preemptive scheduling; Fixed preemption points; Computer Science; datavetenskap;

   Sammanfattning : Schedulability analysis of real-time systems under preemptive scheduling may often lead to false-negative results, deeming a schedulable taskset being unschedulable. This is the case due to the inherent over-approximation of many time-related parameters such as task execution time, system delays, etc. LÄS MER

4. 3. Optimal Truck Scheduling : Mathematical Modeling and Solution by the Column Generation Principle

   Författare :Myrna Palmgren; Torbjörn Larsson; Niklas Kohl; Linköpings universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; optimisation; pickup and delivery problem; transportation; scheduling; column generation; integer programming; MATHEMATICS; MATEMATIK;

   Sammanfattning : We consider the daily transportation problem in forestry which arises when transporting logs from forest sites to customers such as sawmills and pulp and paper mills. Each customer requires a specific amount of a certain assortment, and the deliveries to the customers can be made within time intervals, known as time windows. LÄS MER

5. 4. A real-time simulation-based optimisation environment for industrial scheduling

   Författare :Marcus Frantzén; Philip Moore; David Stockton; Amos Ng; Stephen Newman; Riham Khalil; Högskolan i Skövde; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Scheduling system; Simulation; Scheduling; simulation-based optimisation; Technology; Teknik; Production and Automation Engineering; Produktion och automatiseringsteknik;

   Sammanfattning : In order to cope with the challenges in industry today, such as changes in product diversity and production volume, manufacturing companies are forced to react more flexibly and swiftly. Furthermore, in order for them to survive in an ever-changing market, they also need to be highly competitive by achieving near optimal efficiency in their operations. LÄS MER

7. 5. Multi-Criteria Optimization of System Integration Testing

   Författare :Sahar Tahvili; Markus Bohlin; Franz Wotawa; Mälardalens högskola; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Software Testing; Optimization; Integration Testing; Decision Support System; Dependency; Test Scheduling; Requirement Coverage; Computer Science;

   Sammanfattning : Optimizing software testing process has received much attention over the last few decades. Test optimization is typically seen as a multi-criteria decision making problem. One aspect of test optimization involves test selection, prioritization and execution scheduling. LÄS MER