Faculty Information - Nakata Akio |

（Last updated : 2024-02-19 18:25:12）

Nakata Akio

Department / Course Hiroshima City University Graduate School Graduate School of Information Sciences Major in Systems Engineering

Hiroshima City University Faculty of Information Sciences Department of Systems Engineering

Job Professor

E-Mail Address

Business career
2007/04/01 ～	Professor Hiroshima City University Graduate School Graduate School of Information Sciences Major in Systems Engineering
2007/04/01 ～	Professor Hiroshima City University Faculty of Information Sciences Department of Systems Engineering
2007/04/01 ～	Professor Graduate School of Information Sciences, Hiroshima City University
2002/04/01 ～ 2007/03/31	Associate Professor Graduate School of Information Science and Technology, Osaka University
2000/04/01 ～ 2002/03/31	Research Associate Graduate School of Engineering Science, Osaka University
Display All（6）

Academic background
1997/03 Degree Acquisition	Osaka University Ph.D. (Dr. Eng.)
1994/04～1997/03	Doctoral Program (2nd Semester) Graduate School, Division of Engineering Science Osaka University Finished
1992/04～1994/03	Doctoral Program (1st Semester) Graduate School, Division of Engineering Science Osaka University Finished
1988/04～1992/03	Department of Information and Computer Sciences Faculty of Engineering Science Osaka University Graduated

Present specialized field
Fundamental Informatics, Computer System Network, Software, Communication/Network Engineering keyword(real-time systems, embedded systems, distributed systems, design verification, design optimization, formal methods, model checking)

Research topic, funded research, and department laboratory expense
2009/04/01 ～ 2010/03/31	Optimal Parameter Exploration of Real-time Software and its Application to Embedded Software Reuse
2010/04/01 ～ 2011/03/31	Optimal Parameter Exploration of Real-time Software and its Application to Embedded Software Reuse

Book and thesis
Books	Assertion-Based Design Second Edition (Co-authored) 2004/09
Papers	An improved LLF scheduling for reducing maximum heap memory consumption by considering laxity time Proceedings of 2018 the 12th International Symposium on Theoretical Aspects of Software Engineering (TASE 2018),pp.144-149 (Co-authored) 2018/08/30
Papers	Modeling and Performance Verification of Embedded Software Sharing Resources with Least Laxity First Schedulers Using Extended Time Petri Nets IEICE Technical Report,pp.135-140 (Co-authored) 2016/01/18
Papers	Modeling and Performance Verification of Embedded Software in Multiprocessor Environment Using Extended Time Petri Nets IEICE Technical Report,pp.33-37 (Co-authored) 2015/05/04
Papers	A Method for Extracting Necessary Information for Performance Verification from Extended SysML Diagrams IEICE Technical Report,pp.23-28 (Co-authored) 2014/01/23
Display All（41）

Activity in society
2015/11/24 ～ 2016/11	The 18th International Conference on Formal Engineering Methods (ICFEM 2016) Program Committee
2007/01 ～ 2007/12	Program Committee member, 5th International Symposium on Automated Technology for Verification and Analysis (ATVA 2007)

Belonging society
2009/01	IEEE
1996/04	Information Processing Society of Japan