Sökning: "Real-Time Java"

Visar resultat 1 - 5 av 17 avhandlingar innehållade orden Real-Time Java.

  1. 1. Tailoring native compilation of Java for real-time systems

    Författare :Anders Nilsson; Institutionen för datavetenskap; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; systems; numerical analysis; Java; embedded systems; real-time; aspect-oriented; object-oriented; Computer science; compiler construction; control; Datalogi; numerisk analys; system; kontroll;

    Sammanfattning : Our everyday appliances ranging from toys to vehicles, as well as the equipment used to manufacture them, contain an increasing number of embedded computers. Embedded systems software often implement functionality that is crucial for the operation of the device, resulting in a variety of timing requirements and resource utilization constraints to be fulfilled. LÄS MER

  3. 2. Compiling Java for Real-Time Systems

    Författare :Anders Nilsson; Institutionen för datavetenskap; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; embedded systems; Compiler construction; real-ttime Java;

    Sammanfattning : Our everyday appliances ranging from toys to vehicles, as well as the equipment used to manufacture them, contain an increasing number of embedded computers. Embedded software often implement functionality that is crucial for the operation of the device, resulting in a variety of timing requirements and resource utilization constraints to be fulfilled. LÄS MER

  4. 3. Automatic memory management for flexible real-time systems

    Författare :Sven Robertz; Institutionen för datavetenskap; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer science; feedback scheduling; embedded systems; real-time; memory management; garbage collection; numerical analysis; systems; control; Datalogi; numerisk analys; system; kontroll;

    Sammanfattning : In a flexible real-time system, the constraints in available CPU time and memory lead to resource management problems, which must be handled carefully in order to maximize quality of service while avoiding overload. Managing CPU time -- scheduling -- is well studied and dynamic scheduling is widely accepted in the real-time industry. LÄS MER

  5. 4. Memory Efficient Hard Real-Time Garbage Collection

    Författare :Tobias Ritzau; Peter Fritzson; Roger Henriksson; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; hardware progresses; programming languages; garbage collector; real-time reference counting; object ownership; static garbage collector; embedded systems; Computer science; Datavetenskap;

    Sammanfattning : As the development of hardware progresses, computers are expected to solve increasingly complex problems. However, solving more complex problems requires more complex software. To be able to develop these software systems, new programming languages with new features and higher abstraction levels are introduced. LÄS MER

  7. 5. Verification Based Failure Detection for Real-Time Java and Floating-Point Computations

    Författare :Gabriele Paganelli; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Debugging; Floating-Point; Formal Methods; Testing; Real-Time Java; Coverage; Satisfiability Modulo Theories; Certification; Formal Specification;

    Sammanfattning : To err is human, and machines help us avoiding errors. This thesis presents two ways, based on verification technology, to prevent failures.Safety critical Real-Time Java applications usually need a certification. Tests fulfilling specific coverage criteria can be part of such certification, like in the DO-178 standard. LÄS MER