Vol.3 No.3 2010
Research paper : A methodology for improving reliability of complex systems (A. Katoh et al.)−210−Synthesiology - English edition Vol.3 No.3 (2010) AuthorsAtsushi KatohCompleted the courses in Electric System at the Graduate School of Science and Technology, Kumamoto University in 2000. Joined an electric appliance company and engaged in research and development of a small network device in a ubiquitous environment. Worked on independent verification and validation (IV&V) of spacecraft software in space development field since 2006. Also engaged in research on systems engineering at Keio SDM. Won the Research Award of the Information Processing Society of Japan in 2009. Member of the Information Processing Society of Japan. In this paper, was in charge of the research plan, selection and synthesis of the methods, application to the industrial case, and discussion.Masataka UragoCompleted the doctoral program at the Department of Mechanical Sciences and Engineering, Graduate School of Engineering, Tokyo Institute of Technology in 1998. Doctor (Engineering). Became an assistant at the Tokyo Institute of Technology in 1998. Appointed to associate professor of Keio SDM in 2008. Engages in research on systems engineering as well as computer modeling and mathematical computation of engineering problems. Member of the Japan Society of Mechanical Engineers and the International Council on Systems Engineering (INCOSE). In this paper, was in charge of the selection and synthesis of the methods.Yoshiaki OhkamiCompleted the doctoral program at the Department of Electrical Engineering, Graduate School of Engineering, Tokyo Institute of Technology in 1968. Doctor (Engineering). NASA Fellow, professor of the Tokyo Institute of Technology, professor of Keio University, and Research Director, Japan Aerospace Exploration Agency (JAXA). Became the Director of Keio SDM in 2008. Engages in research on dynamics and control of complex systems and strategic systems engineering. Fellow of the Japan Society of Mechanical Engineers and the International Council on Systems Engineering (INCOSE). Member of the Japan of the cause adjustment of FDP system failure), MLIT (online), http://www.mlit.go.jp/kisha/kisha03/12/120312_.html (2009-09-22) (in Japanese).A. Katoh, N. Kohtake, S. Haruyama and Y. Ohkami: Moderu kensa o mochiite kumikomi shisutemu ni okeru sofuto uea to hado uea no kyocho dosa ni kansuru yokyu shiyo no fuseigo o kenshutsu suru shuho (A Model Checking Methodology for Detecting Inconsistency of Specifications concerned with Cooperating Behavior between Software and Hardware in Embedded System), IPSJ Symposium Series, 2009, 65-70 (2009) (in Japanese).A. Katoh and Y. Ohkami: FPGA to sofuto uea ni okeru kyocho dosa no seigosei ni kansuru hyoka shuho no teian (An Approach for Verifying Correctness of Co-operations between FPGA and Software in Electronic System), IPSJ SIG Notes, 2009 (31), 105-112 (2009) (in Japanese).E. M. Clarke, O. Grumberg and D. E. Long: Model checking and abstraction, ACM Transactions on Programming Languages and Systems, 16 (5), 1512-1542 (1994).Institute of Electrical and Electronics Engineers (IEEE): IEEE standard for system and software engineering - System life cycle processes, IEEE 15288-2008 (2008).American National Standard Institute (ANSI)/ Electronic Industries Alliance (EIA): ANSI/EIA Standard for Process for Engineering a System, ANSI/ EIA 632-1999 (1999).Institute of Electrical and Electronics Engineers (IEEE): IEEE standard for application and management of the systems engineering process, IEEE 1220-2005 (2005).E. M. Clarke and J. M. Wing: Formal methods: State of the art and future directions, ACM Computing Surveys, 28 (4), 626-643 (1996).International Electrotechnical Commission (IEC): IEC standard for functional safety of electrical/electronic/ programmable electronic safety-related systems, IEC 61508-SER Ed. 1.0 (2005).T. DeMarco: Structured Analysis and System Specification, Yourdon Press, USA (1978).M. Arisawa and T. Saitoh: Moderu Shimyureshon Giho (Model Simulation Methodology), 16-17, Kyoritsu Shuppan (1997) (in Japanese).V. K. Rompaey, D. Verkest, I. Bolsens and D. H. Man: CoWare – A design environment for heterogeneous hardware/software systems, Proceedings of the European Design Automation Conference, 252-257 (1996).T. Doran: IEEE 1220: For practical systems engineering, IEEE Magazines Computer, 39 (5), 92-94 (2006).M. Sipser: Course Technology Ptr (SD), Introduction to the Theory of Computation, 29-90, The Netherlands (1996).R. Alur and D. L. Dill: A theory of timed automata, Theoretical Computer Science, 126 (2), 183-235 (1994).G. J. Holzmann: The model checker SPIN, IEEE Transaction on Software Engineering, 23 (5), 279-295 (1997).K. G. Larsen, P. Pettersson and W. Yi: UPPAAL in a nutshell, International Journal on Software Tools for Technology Transfer, 1 (1-2), 134-152 (1997).Japanese Industrial Standards Committee: Sangyo yo manipyuretingu robotto - yogo (Industiral Manipulating Robot – Terminology), JIS B0134 (2008) (in Japanese).J. P. Elm: A study of systems engineering effectiveness – Initial results, Proceedings of the Systems Conference 2008 2nd Annual IEEE, 1-7 (2008).B. Boehm, R. Valerdi and E. Honour: The ROI of systems engineering: Some quantitative results for software-intensive systems, Systems Engineering, 11 (3), 221-234 (2008).E. C. Honour: Understanding the value of systems engineering, Proceedings of the INCOSE International Symposium, 1-16 (2004).A. K. Kludze: The impact of systems engineering on complex systems, Proceedings of Conference on Systems Engineering Research (2004).B. W. Boehm: Software Engineering Economics, 38-40, Prentice-Hall, USA (1981).B. Alpern and F. B. Schneider: Defining liveness, Information Processing Letters, 21, 181-185 (1985).Graduate School of System Design and Management, Keio University: Homepage, Graduate School of System Design and Management, Keio University (online), http:// www.sdm.keio.ac.jp/ (see 2010-04-18).