Abstract: Disclosed herein are a method and apparatus for performing a configuration of an aeronautical system. The apparatus includes a display unit, an intermediate model generation unit, an Extensible Markup Language (XML) conversion unit, and a translator. The display unit display displays a user interface for receiving aeronautical system setting information in compliance with an ARINC 653 standard. The intermediate model generation unit generates an intermediate model of source code based on the setting information received via the user interface. The XML conversion unit creates an XML document by performing XML conversion on the generated intermediate model. The translator generates a source code file in compliance with the ARINC 653 standard by converting the generated XML document.

Abstract: Disclosed herein is an apparatus for providing a user interface used to input the configuration values of an aeronautical system. The apparatus includes a software architecture unit for receiving or checking the attributes of software applied to the aeronautical system, a hardware architecture unit for providing a hardware design model that is a base for the operation of the software, a scheduling unit for receiving information about the scheduling of partition information that belongs to the configuration values and transforming the scheduling information in a specific form, a memory unit for storing the attributes of the software, a health monitoring unit for configuring health monitoring based on the software architecture unit, and a connection unit for receiving connection information regarding that partitions are connected to which channel.

Abstract: A software static testing apparatus generates code by integrating a plurality of source files corresponding to automotive software, creates logical expressions for the code and a test case, and performs testing of the plurality of source files using a resulting logical expression obtained by using the logical expression for the code and the logical expression for the test case.

Abstract: A music play control apparatus and method for a music player using at least one earphone function key are provided which are capable of performing a music play control operation of the music player using earphones. In the music play control apparatus and method, an external key input from left/right function keys installed on the earphones is scanned. If a key signal is input from either the left or right function key, a value of the input function key is recognized and a music play control operation is performed by a predetermined function depending on the recognized function key value.