• Title, Summary, Keyword: System Software

Search Result 10,140, Processing Time 0.079 seconds

Automatic Hardware/Software Interface Generation for Embedded System

  • Son, Choon-Ho;Yun, Jeong-Han;Kang, Hyun-Goo;Han, Tai-Sook
    • Journal of Information Processing Systems
    • /
    • v.2 no.3
    • /
    • pp.137-142
    • /
    • 2006
  • A large portion of the embedded system development process involves the integration of hardware and software. Unfortunately, communication across the hardware/software boundary is tedious and error-prone to create. This paper presents an automatic hardware/software interface generation system. As the front-end of hardware/software co-design frameworks, a system designer defines XML specifications for hardware functions. Our system generates hardware/software interfaces including Device Driver, Driver API, and Device Controller from these specifications. Embedded software designers can easily use hardware just like system libraries. Our system reduces the mistakes and errors that can be occurred when a software programmer directly connects software to hardware, and supports balancing labors between hardware developers and software programmers. Moreover, this system can be used as the back-end for a hardware/software co-design framework.

A Study of Software Coding Rules Inspection Tool for Railway Signaling Software Safety

  • Hwang, Jong-Gyu;Jo, Hyun-Jeong
    • International Journal of Safety
    • /
    • v.8 no.2
    • /
    • pp.31-36
    • /
    • 2009
  • In accordance with the development of recent computer technology, railway signaling software became more complex for the intellectualization. Therefore the importance and dependency of railway signaling system on the computer software is getting more increased further, and the testing for the safety and reliability of railway signaling system software became more important. It is started to become influential as very important issue for the reliability and safety of vital embedded software like railway signaling system. The software coding which can have an effect on the safety at the coding level of software shall not be included preferentially, for the safety of software, and must be checked. This thesis suggested an automated testing tool for coding rules on this railway signaling system software, and presented its applied result for railway signaling system software. The testing items in the implemented tool had referred to the international standards in relation to the software for railway system and MISRA-C standards. This automated testing tool for railway signaling system can be utilized at the assessment stage for railway signaling system software also, and it is anticipated that it can be utilized usefully at the software development stage also.

Software Reliability of Safety Critical FPGA-based System using System Engineering Approach

  • Pradana, Satrio;Jung, Jae Cheon
    • Journal of the Korea Society of Systems Engineering
    • /
    • v.14 no.2
    • /
    • pp.49-57
    • /
    • 2018
  • The main objective of this paper is come up with methodology approach for FPGA-based system in verification and validation lifecycle regarding software reliability using system engineering approach. The steps of both reverse engineering and re-engineering are carried out to implement an FPGA-based of safety critical system in Nuclear Power Plant. The reverse engineering methodology is applied to elicit the requirements of the system as well as gain understanding of the current life cycle and V&V activities of FPGA based-system. The re-engineering method is carried out to get a new methodology approach of software reliability, particularly Software Reliability Growth Model. For measure the software reliability of a given FPGA-based system, the following steps are executed as; requirements definition and measurement, evaluation of candidate reliability model, and the validation of the selected system. As conclusion, a new methodology approach for software reliability measurement using software reliability growth model is developed.

A Study on the Trend of an Avionics System Software Development (항공전사 시스템 소프트웨어의 개발 추세에 대한 연구)

  • Yang, Sungwook;Lee, Sangchul
    • Journal of Aerospace System Engineering
    • /
    • v.1 no.1
    • /
    • pp.60-66
    • /
    • 2007
  • The importance of software development in the integration of an avionics system is continuously increasing. And we can expect enlarged soft ware portion in the system integration for the more intelligent, reliable, and automated avionics system. For an avionics system software development the selection of a real-time operating system and internal avionics data bus protocol is very important from the viewpoint of the integration with the system hardware. In this paper, we present current trend of an avionics system software development including software development methodology, software development process, and international software process assessment improvement model.

  • PDF

A Study on The Software Coding Standard for Safety of Railway Embedded System (철도내장형제어기의 안전확보를 위한 소프트웨어 코딩규약 확보방안)

  • Shin, Kyung-Ho;Joung, Eui-Jin
    • Proceedings of the KIEE Conference
    • /
    • /
    • pp.193-195
    • /
    • 2008
  • Safety is important factor in railway system. Now most of the electric and electronic system which is applied in railway system is the embedded system which software is used. The constitution rate of software which is involved in railway system is gradually increasing. Most of the software which is used in railway system is implemented by the software developer. Thus the implemented code has different features according to the developer and this may cause the bad effect on the software's maintenance. International standard IEC 62279 requires an adoption the coding standard to developing the railway software. And it is plan to recommend complying with the coding standard in safety criteria for railway software which is noticed as the regulation of the Korean railway safety law. In this paper, we review the requirement of coding standards which is present in the software criteria for railway software and international standard. Also it investigates the coding standard which is in other safety related industry and presents the effective way to apply the software coding standard to domestic railway industry.

  • PDF

SOFTWARE STREAMING TECHNOLOGY FOR TELEMETICS APPLICATIONS

  • Kim, Jung-Sook;Choi, Ji-Hoon;Choi, Jung-Dan
    • Proceedings of the KSRS Conference
    • /
    • /
    • pp.597-600
    • /
    • 2005
  • The software streaming technology enables telematics software to be automatically updated through a wireless network. When the software starts running, software streaming system inspects its version and then, automatically download latest one. The software streaming system breaks the software into several pieces that are streamed to the user as needed. In this way, software streaming system can improves the telematics application load time while updating the software through wireless network. In our experiments, the application load time was reduced about 7 times compared to downloading whole software at best case.

  • PDF

Point-to-Multipoint Call Control of ATM VC Switching System (ATM VC 교환기의 점대다중점 호 제어)

  • 김응하;오문균
    • Proceedings of the IEEK Conference
    • /
    • /
    • pp.229-232
    • /
    • 1998
  • Modern telecommunications are increasingly demanding the addition of complex switching features to switching system software. These improvements also should satisfy customer demands for quick provisioning of new service features. But whenever we have developed the switching system in various types, we met problems that are lack of system engineers and short developments terms. We need new guidelines of software design to meet the demands and overcome our problems. So we propose new software platform, scenario driven call control engine (SDCCE) for ATM switching system software and implement an effective call control software using scenarios for ATM Switching System. A scenario is a set of procedures and supplementary scenarios written in data structure and gives benefits to easy adapt new or modified function by adding a scenario. The goal of SDCCE is to increase reusability and readability of software. Especially, it gives a good software extensibility and maintainability. And when we developed ptmp call processing control software, we could get high productivity by reusing scenarios and procedures of ptp call processing control software. We applied the scenario driven call control software to ATM switching system.

  • PDF

Optimal Release Time of Software System having a Fixed Operational Period (일정한 사용기간을 갖는 Software System의 최적방출정책)

  • 최명호;윤덕균
    • Journal of the Society of Korea Industrial and Systems Engineering
    • /
    • v.13 no.22
    • /
    • pp.1-6
    • /
    • 1990
  • This paper deals with software Release policy having a Fixed Operational period after a Software System is released. The underlying Software Reliability Growth is described by J-M Model Optimal of Software Release Time minimizing Total Expected Cost is Obtained.

  • PDF

An Evolution of Software Reliability in a Large Scale Switching System: using the software

  • Lee, Jae-Ki;Nam, Sang-Sik;Kim, Chang-Bong
    • The Journal of Korean Institute of Communications and Information Sciences
    • /
    • v.29 no.4A
    • /
    • pp.399-414
    • /
    • 2004
  • In this paper, an evolution of software reliability engineering in a large-scale software project is summarized. The considered software consists of many components, called functional blocks in software of switching system. These functional blocks are served as the unit of coding and test, and the software is continuously updated by adding new functional blocks. We are mainly concerned with the analysis of the effects of these software components in software reliability and reliability evolution. We analyze the static characteristics of the software related to software reliability using collected failure data during system test. We also discussed a pattern which represents a local and global growth of the software reliability as version evolves. To find the pattern of system software, we apply the S-shaped model to a collection of failure data sets of each evolutionary version and the Goel-Okumoto(G-O) model to a grouped overall failure data set. We expect this pattern analysis will be helpful to plan and manage necessary human/resources fur a new similar software project which is developed under the same developing circumstances by estimating the total software failures with respect to its size and time.

Software Verification & Validation for Digital Reactor Protection System (디지털 원자로 보호계통의 소프트웨어 확인 및 검증)

  • Park, Gee-Yong;Kwon, Kee-Choon
    • Proceedings of the KIEE Conference
    • /
    • /
    • pp.185-187
    • /
    • 2005
  • The reactor protection system is the most important function for the safe operation of nuclear powerplants (NPPs) in that such system protects a nuclear reactor tore whose damage can cause an enormous disaster to the nuclear facility and the public. A digital reactor protection system (DRPS) is being developed in KAERI for use in the newly-constructed NPPs and also for replacing the existing analog-type reactor Protection systems. In this paper, an software verification and validation (V&V) activities for DRPS, which are independent of the DRPS development processes, are described according to the software development life cycle. The main activities of DRPS V&V processes are the software planning documentations, the verification of software requirements specification (SRS) and software design specification (SDS), the verification of codes, the tests of the integrated software and system. Moreover, the software safety analysis and the software configuration management are involved in the DRPS V&V processes. All of the V&V activities are described, in detail, in this paper.

  • PDF