Kenji Taguchi, Ph.D. (Computer Science)
-
Affiliation :
- Invited Senior Research Scientist
- System Life-Cycle Research Group (Kansai)
- Research Institute For Secure Systems
(RISEC)
- National Institute of Advanced Industrial Science and Technology
(AIST)
- I have worked as researcher/consultant in software industry for 12
years and as academic (lecturer/professor) for 13 years. Before I
moved to AIST in 2010 April, I was a professor (by special appointment) at
National Institute of Informatics.
- I am a co-founder of the iFM (Integrated Fromal Methods) conference
series. The first conference was held in 1999 in York. The
proceeding was publishd from Springer (IFM '99)
- Recently I started a company called CAV Technologies Inc., in 2011 specialized in (C)ertification, (A)ssurance and (V)erification.
-
(Edited) Proceedings, Book and Journals:
-
Latest Research Results and Activities: 
- Formal Methods:
- A paper "Building A Body of Knowledge on Model Checking for
Software Development" is accepted at COMPSAC 2013!
- Program co-chair of International Conference on Formal
Engineering Methods 2012 (ICFEM 2012)
The proceedins of ICFEM 2012 is published as LNCS 7635, Springer 2012
- System Assurance:
- Co-chair of Object Management Group (OMG) System Assurance Platform Task Force (SysA PTF)
-
I have been involved in three standardization efforts;
-
Recently Involved Conferences/Workshops:
- International Workshop on Argument for Agreement and Assurance (AAA 2013) Co-chair
- International Workshop on Assurance Cases for Software-intensive Systems (ASSURE 2013) PC
- International Conference on Engineering Complex Computer Systems (ICECCS 2013) PC
- International Conference on Formal Engineering Methods (ICFEM 2013) PC
- International Conference on Integrated Formal Methods (iFM 2013) PC
- Next Generation of System Assurance Approaches for Safety-Critical Systems (SASSURE 2013) PC
- International Conference on Theoretical Aspects of Software Engineering (TASE 2013) PC
- International Symposium on Formal Methods (FM 2014) Publicity Co-chair
-
Recent Activities:
- Safety Cases:
- Y. Matsuno and K. Taguchi, "Parameterised Argument Structure for
GSN Patterns", International Conference on Quality Software
(QSIC 2011) ,
pp96--101, IEEE (2011)
- Internal Control:
- T. Komoto, K. Taguchi, H. Mouratidis, N. Yoshioka, K. Futatsugi,
"A Modelling Framework to Support Internal Control",
International Conference on Secure Software Integration and
Reliability Improvement (SSIRI 2011) pp187--193, IEEE (2011)
- Formal Methods:
- Co-author of an introductory book on formal methods "Basics of
Software Science" (in Japanese), Kindai Kagaku Sha Co.,
Ltd., 2008, September.
- Co-editor of a special section on Formal Methods Education
and Training, inroads - SIGCSE Bulletin, Vol. 41, Num 2, 2009, June.
- Security Requirements Engineering:
- Co-editor of a special issue on Security Requirements Engineering, Magazine of IPSJ (Information Processing Society Japan),
Vol. 50, No. 3, 2009, March.
-
Specialities :
- Specialized in formal methods for system verification,
requirements engineering for safe and secure systems, and system
assurance for security (ISO/IEC 15408) and functional safety (IEC 61508,
ISO 26262, IEC 62278).
-
Current research interests:
- System verification and certification related to
international standards for functional safety and security,
- Formal/Semi-formal approaches to safety analysis and
threat analysis
- Model-based approaches to security/safety requirements,
security/safety assurance and governance/compliance,
- Educational issues in software engineering, particularly
formal methods,
- System Assurance based on Assurance/Safety/Dependability
cases,
- Meta-model approach to safety/security standards.
-
-
-
Address :
Nakoji 3-11-46, Amagasaki, Hyogo 661-0974, Japan
TEL: +81-6-6494-8051
e-mail: kenji.taguchi(at mark)aist.go.jp