The Experts below are selected from a list of 722379 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.
Kari Systa - One of the best experts on this subject based on the ideXlab platform.
-
using constraint satisfaction and optimization for pattern based Software Design
Australian Software Engineering Conference, 2014Co-Authors: Sriharsha Vathsavayi, Outi Sievikorte, Kai Koskimies, Kari SystaAbstract:Patterns are proven solutions that are applied to solve a recurring problem in a specific context. Pattern-based Software Design applies a suitable set of patterns to create a Software structure that fulfills the requirements of the system to be built. The challenge is to find the useful patterns and apply them in an optimal way. This paper views pattern-based Software Design as a constraint satisfaction optimization problem (CSOP). A general method of formulating pattern-based Software Design as a CSOP is presented, expressing the Design rules associated with patterns as constraints and the quality requirements as the objective function. Using standard tools for constraint satisfaction, a pattern-based Design of a Software system can be generated automatically with proper pattern allocation, optimizing the chosen quality properties. The benefits of the CSOP approach include the possibility to produce an explanation of the proposed pattern applications, and the ability to extend the available pattern set, the Design rules, and the optimization criteria easily using the modeling languages of the constraint satisfaction tools. The approach is studied by generating the pattern-based Software Design of an embedded home automation system. The initial results suggest that constraint satisfaction and optimization is a viable technique for automating pattern-based Software Design.
Fauzi M Ali - One of the best experts on this subject based on the ideXlab platform.
-
toward reuse of object oriented Software Design models
Information & Software Technology, 2004Co-Authors: Fauzi M AliAbstract:Abstract In Software reuse, which is an important approach to improving the practice of Software engineering, many factors may hinder reusing Software artifacts. Among those factors are the availability of Software artifacts at a different level of abstraction and a method to classify and retrieve them. This paper proposes an approach based on faceted classification scheme for the classification and retrieval of Software Design artifacts, namely Object-Oriented Design Models, thus facilitating their reuse. Six facets, Domain, Abstractions, Responsibilities, Collaborations, Design View, and Asset Type have been defined to constitute the classification and the retrieval attributes. Each of the facets describes one aspect of an Object-Oriented Design model. It contains a number of predefined terms chosen through the analysis of various Software systems specifications. The selected terms of each facet are arranged on a conceptual graph to aid the retrieval process. A Design artifact is classified by associating with it a Software descriptor through the selection of one or more terms from each facet. The role of a descriptor is to emphasize the important structural and behavioral properties of a Design artifact and also to document the artifacts associated with the Design model. The associated similarity-based retrieval mechanism helps users to search for candidate Design artifacts that best match their target specification. The similarity analysis is based on the estimation of the conceptual distance between the terms in a query descriptor and the terms in the specified descriptors of various Design models in a Software repository. A case study is presented to illustrate the classification and the retrieval process.
Christopher N Bull - One of the best experts on this subject based on the ideXlab platform.
-
Software Design studio a practical example
International Conference on Software Engineering, 2015Co-Authors: Jaejoon Lee, Gerald Kotonya, Jon Whittle, Christopher N BullAbstract:We have been generally successful for transferring Software engineering knowledge to industry through various forms of education. However, many challenges in Software engineering training remain. A key amongst these is how best to energise Software engineering education with real-world Software engi-neering practices. This paper describes our experience of delivering a radically different approach based on the notion of a Software Design Studio. The Software Design Studio is both a lab for students engaged in conceiving, Designing and developing Software products as well as an approach for teaching Software engineering in the lab which emphasizes practical hands-on work and experimentation. The feedback on the Software Design Stu-dio -- from both staff and students -- has been outstanding. Alt-hough the programme is Designed as a small, elite programme there is interest to see if the teaching methods can be transferred across to the much larger undergraduate programme in Com-puter Science. In this paper, we provide a detailed description of how our studio works in practice so that others, thinking of tak-ing a studio or studio-inspired approach, can use in Designing their own courses.
