The Experts below are selected from a list of 131409 Experts worldwide ranked by ideXlab platform
Poong Hyun Seong - One of the best experts on this subject based on the ideXlab platform.
-
software Design Specification and analysis technique sdsat for the development of safety critical systems based on a programmable logic controller plc
Reliability Engineering & System Safety, 2006Co-Authors: Seo Ryong Koo, Poong Hyun SeongAbstract:This paper introduces a Software Design Specification and Analysis Technique (SDSAT) for safety-critical systems based on a Programmable Logic Controller (PLC). During software development phases, the Design phase performs an important role in connecting the requirements phase and the implementation phase, and it is a process of translating software requirements into software structures. In this work, the Nuclear FBD-style Design Specification and analysis (NuFDS) approach was proposed for nuclear Instrumentation and Control (IC this tool is used specifically for generating software Design Specification and analysis for nuclear fields.
-
software Design Specification and analysis technique for the safety critical software based on programmable logic controller plc
High-Assurance Systems Engineering, 2004Co-Authors: Seo Ryong Koo, Poong Hyun Seong, Sungdeok ChaAbstract:This paper introduces the software Design Specification and analysis technique for the safety-critical system based on programmable logic controller (PLC). During software development phases, the Design should perform an important role to connect between requirements phase and implementation phase as a process of translating problem requirements into software structures. In this work, the Design Specification features for nuclear instrumentation and control (IC database, software architecture, system behavior, and PLC hardware configuration. Additionally, correctness, completeness, consistency, and traceability check techniques are also suggested for the formal Design analysis.
Seo Ryong Koo - One of the best experts on this subject based on the ideXlab platform.
-
software Design Specification and analysis technique sdsat for the development of safety critical systems based on a programmable logic controller plc
Reliability Engineering & System Safety, 2006Co-Authors: Seo Ryong Koo, Poong Hyun SeongAbstract:This paper introduces a Software Design Specification and Analysis Technique (SDSAT) for safety-critical systems based on a Programmable Logic Controller (PLC). During software development phases, the Design phase performs an important role in connecting the requirements phase and the implementation phase, and it is a process of translating software requirements into software structures. In this work, the Nuclear FBD-style Design Specification and analysis (NuFDS) approach was proposed for nuclear Instrumentation and Control (IC this tool is used specifically for generating software Design Specification and analysis for nuclear fields.
-
software Design Specification and analysis technique for the safety critical software based on programmable logic controller plc
High-Assurance Systems Engineering, 2004Co-Authors: Seo Ryong Koo, Poong Hyun Seong, Sungdeok ChaAbstract:This paper introduces the software Design Specification and analysis technique for the safety-critical system based on programmable logic controller (PLC). During software development phases, the Design should perform an important role to connect between requirements phase and implementation phase as a process of translating problem requirements into software structures. In this work, the Design Specification features for nuclear instrumentation and control (IC database, software architecture, system behavior, and PLC hardware configuration. Additionally, correctness, completeness, consistency, and traceability check techniques are also suggested for the formal Design analysis.
Tohru Kikuno - One of the best experts on this subject based on the ideXlab platform.
-
ISSRE - An approach to safety and correctness verification of software Design Specification
Proceedings of Sixth International Symposium on Software Reliability Engineering. ISSRE'95, 1Co-Authors: Eun Mi Kim, Shinji Kusumoto, Tohru KikunoAbstract:We try to develop a new Design review method to verify bath safety and correctness of software product simultaneously. In the proposed method, we assume that requirement Specification and Design Specification are given, and that Designers and verifiers participate to build several kinds of information tables from the Specifications. At the beginning, the Designers construct a Design table based on a Design Specification, and the verifiers construct two verification tables. One of the verification tables includes semantic information, some of which is taken from the knowledge and experience of the verifiers. Then, by comparing the items of three tables, the verifiers review a given Design Specification and try to detect faults in it. The information contained in the tables is relatively easily extracted from the requirement and Design Specifications. Finally, by applying the proposed method to the examples of software Design Specification, we show that faults can be detected in the Design review.
-
WORDS - An approach to safety verification of object-oriented Design Specification for an elevator control system
Proceedings Third International Workshop on Object-Oriented Real-Time Dependable Systems, 1Co-Authors: Eun Mi Kim, Shinji Kusumoto, Tatsuhiro Tsuchiya, Tohru KikunoAbstract:Several methods have been proposed for verifying the safety of software. We have also proposed a new method to verify both safety and correctness of object-oriented Design Specifications (Proc. 6th ISSRE, pp.78-83, 1995). In that method, we assumed that, in the Design Specification, any event results in the same action regardless of what state the system is originally in. In this paper, we relax the assumption as follows: actions of an event are determined by the event and its previous event, and we try to extend the applicability of our previous method. In the new method, the verifiers first construct a correctness table and a safety table based on a component library and standards for safety. Next, the Designers construct a Design table from a Design Specification. Then, by comparing the corresponding items on three tables, the verifiers review a given Design Specification and detect faults in it. Finally, using an elevator control system as an example, we show that faults concerning safety or correctness can be detected by the new Design review method.
Shinji Kusumoto - One of the best experts on this subject based on the ideXlab platform.
-
IEEE METRICS - Function point measurement tool for UML Design Specification
Proceedings Sixth International Software Metrics Symposium (Cat. No.PR00403), 1999Co-Authors: T. Uemura, Shinji Kusumoto, K. InoueAbstract:Function point analysis (FPA) was originally proposed to help measure the size of a computerized business information system. It is now widely used in actual software development. However, it has been reported that, since function point counting involves judgment on the part of the counter, some differences would be caused between copies of the same product, even within the same organization. In this paper, we propose detailed FPA measurement rules for Design Specifications based on UML (Unified Modeling Language) and we develop a function point measurement tool, whose input products are Design Specifications on Rational Rose. We have also applied the tool in an actual Design Specification and have examined the difference between the values obtained using the tool and those given by an FPA specialist. The results show the applicability of our tool.
-
Function point measurement tool for UML Design Specification
Proceedings Sixth International Software Metrics Symposium (Cat. No.PR00403), 1999Co-Authors: T. Uemura, Shinji Kusumoto, K. InoueAbstract:Function point analysis (FPA) was originally proposed to help measure the size of a computerized business information system. It is now widely used in actual software development. However, it has been reported that, since function point counting involves judgment on the part of the counter, some differences would be caused between copies of the same product, even within the same organization. In this paper, we propose detailed FPA measurement rules for Design Specifications based on UML (Unified Modeling Language) and we develop a function point measurement tool, whose input products are Design Specifications on Rational Rose. We have also applied the tool in an actual Design Specification and have examined the difference between the values obtained using the tool and those given by an FPA specialist. The results show the applicability of our tool.
-
ISSRE - An approach to safety and correctness verification of software Design Specification
Proceedings of Sixth International Symposium on Software Reliability Engineering. ISSRE'95, 1Co-Authors: Eun Mi Kim, Shinji Kusumoto, Tohru KikunoAbstract:We try to develop a new Design review method to verify bath safety and correctness of software product simultaneously. In the proposed method, we assume that requirement Specification and Design Specification are given, and that Designers and verifiers participate to build several kinds of information tables from the Specifications. At the beginning, the Designers construct a Design table based on a Design Specification, and the verifiers construct two verification tables. One of the verification tables includes semantic information, some of which is taken from the knowledge and experience of the verifiers. Then, by comparing the items of three tables, the verifiers review a given Design Specification and try to detect faults in it. The information contained in the tables is relatively easily extracted from the requirement and Design Specifications. Finally, by applying the proposed method to the examples of software Design Specification, we show that faults can be detected in the Design review.
-
WORDS - An approach to safety verification of object-oriented Design Specification for an elevator control system
Proceedings Third International Workshop on Object-Oriented Real-Time Dependable Systems, 1Co-Authors: Eun Mi Kim, Shinji Kusumoto, Tatsuhiro Tsuchiya, Tohru KikunoAbstract:Several methods have been proposed for verifying the safety of software. We have also proposed a new method to verify both safety and correctness of object-oriented Design Specifications (Proc. 6th ISSRE, pp.78-83, 1995). In that method, we assumed that, in the Design Specification, any event results in the same action regardless of what state the system is originally in. In this paper, we relax the assumption as follows: actions of an event are determined by the event and its previous event, and we try to extend the applicability of our previous method. In the new method, the verifiers first construct a correctness table and a safety table based on a component library and standards for safety. Next, the Designers construct a Design table from a Design Specification. Then, by comparing the corresponding items on three tables, the verifiers review a given Design Specification and detect faults in it. Finally, using an elevator control system as an example, we show that faults concerning safety or correctness can be detected by the new Design review method.
Sungdeok Cha - One of the best experts on this subject based on the ideXlab platform.
-
software Design Specification and analysis technique for the safety critical software based on programmable logic controller plc
High-Assurance Systems Engineering, 2004Co-Authors: Seo Ryong Koo, Poong Hyun Seong, Sungdeok ChaAbstract:This paper introduces the software Design Specification and analysis technique for the safety-critical system based on programmable logic controller (PLC). During software development phases, the Design should perform an important role to connect between requirements phase and implementation phase as a process of translating problem requirements into software structures. In this work, the Design Specification features for nuclear instrumentation and control (IC database, software architecture, system behavior, and PLC hardware configuration. Additionally, correctness, completeness, consistency, and traceability check techniques are also suggested for the formal Design analysis.