Abstract: Provided are a system and a method for self-healing in a critical system. The present invention monitors a current situation of the critical system, determines whether a system has an error by analyzing the monitoring result, judges whether to perform self-healing in a current state or drive safety software which provides a minimum basic service according to self-healing of the system error or not when the system error occurs, and evaluates self-healing performance after healing the system error. According to exemplary embodiments of the present invention, it is possible to continuously provide a software service and further improve the reliability of the self-healing system through the evaluation of the self-healing performance.

Abstract: Disclosed is an apparatus for modeling of a hybrid system and the apparatus includes: a model configuring unit modeling ports, structures, and constraints for one or more cyber physical systems implemented in the hybrid system and constituting a core model including a port model, a structure model, and a constraint model constituted for each cyber physical system; and a model setting unit setting a connection relationship of the port model, the structure model, and the constraint model for each core model and defining a discrete component and a continuous component for each model.

Abstract: Provided are a method for updating a system and a system thereof that can simultaneously update a new-version application program and a device driver without interruption or restarting of the system which is developed and operating.

Abstract: Provided are an apparatus and method for providing a simulation result as an image. The method includes performing a simulation of a predetermined system and generating a result log of the simulation, and converting the result log of the simulation into an image on the basis of a database storing a state and operation of a model of the system as image data. Accordingly, a simulation result of a system can be provided without detailed information about the system, an additional application, or a separate storage.

Abstract: Provided are a system and a method for self-healing in a critical system. The present invention monitors a current situation of the critical system, determines whether a system has an error by analyzing the monitoring result, judges whether to perform self-healing in a current state or drive safety software which provides a minimum basic service according to self-healing of the system error or not when the system error occurs, and evaluates self-healing performance after healing the system error. According to exemplary embodiments of the present invention, it is possible to continuously provide a software service and further improve the reliability of the self-healing system through the evaluation of the self-healing performance.

Abstract: A debugging apparatus and method for correcting errors in embedded systems are provided. More particularly, a non-stop debugging apparatus and method for correcting errors in embedded systems in a development environment configured of a host and a target are provided. With the non-stop debugging apparatus and method, application programs of the embedded systems can be easily debugged without the user having to frequently execute operation and stoppage of the application programs, in time-sensitive application programs and the application programs on which it takes a user much time to perform. Also, according to the non-stop debugging apparatus and method, commands for the non-stop debugging and information required for other debugging are stored in the host system, thus making it possible to minimize the load of the target system so as to conform to the characteristics of the embedded systems sensitive to resource limitations.

Abstract: A device and method for debugging an embedded system are provided. A host system (100) includes: a user interface (110) for managing an interface with a user; a debugging engine (120) for performing a debugging process; and a JTAG command generator (130) for receiving an information necessary for the debugging process from the debugging engine (120) and generating a corresponding debugging command. A JTAG signal generator (200) converts the debugging command inputted from the host system (100) into a JTAG signal. A target system includes: a TAP for decoding the JTAG signal; and a microprocessor (320) for receiving the decoded debugging command through the TAP controller (310) and executing a necessary information and a debugging command. Accordingly, software for the embedded system can be debugged at a low cost by using a PC without any special hardware.