IEICE SEARCH SYSTEM

Keyword : model checking

Case study of Modeling, Specification and Finite Model Checking for Preemptive Embedded Software Shingo TAKINAI Satoshi YAMANE
Publication: D - Abstracts of IEICE TRANSACTIONS on Information and Systems (Japanese Edition) Publication Date: 2010/11/01 Vol. J93-D No. 11 pp. 2403-2415 Type of Manuscript: PAPER Category: Keyword: case study, preemptive scheduling systems, embedded software, periodic tasks, model checking,
	Summary \| Full Text(in Japanese):PDF (474.7KB)

Verification of Dual Redundant Communication Protocols Using Model Checking Satoshi IKEDA Masahiro JIBIKI Yasushi KUNO Taketoshi NISHIMORI
Publication: D - Abstracts of IEICE TRANSACTIONS on Information and Systems (Japanese Edition) Publication Date: 2010/07/01 Vol. J93-D No. 7 pp. 1154-1164 Type of Manuscript: Special Section PAPER (Special Section on Technologies and Applications of the Internet) Category: Keyword: model checking, communication protocol, redundancy,
	Summary \| Full Text(in Japanese):PDF (318.7KB)

Model Checking of Timed Automata Akio NAKATA
Publication: D - Abstracts of IEICE TRANSACTIONS on Information and Systems (Japanese Edition) Publication Date: 2009/05/01 Vol. J92-D No. 5 pp. 576-586 Type of Manuscript: Special Section PAPER (Special Section on Formal Approach) Category: Keyword: real-time systems, verification techniques, timed automata, model checking, reachability analysis,
	Summary \| Full Text(in Japanese):PDF (267.2KB)

A Formal Model and Its Verification of History-Based Access Control Yoshiaki TAKATA Jing WANG Hiroyuki SEKI
Publication: D - Abstracts of IEICE TRANSACTIONS on Information and Systems (Japanese Edition) Publication Date: 2008/04/01 Vol. J91-D No. 4 pp. 847-858 Type of Manuscript: Special Section PAPER (Spesial Section on Formal Approaches) Category: Keyword: language-based security, stack inspection, history-based access control, model checking,
	Summary \| Full Text(in Japanese):PDF (481.8KB)

Embedded System Resource Scheduling Design and Checking Method and Tool Masahiko WATANABE Akira FUKUDA Michihiro MATSUMOTO Ichiro HOSOTANI Shigeyuki KIDO
Publication: D - Abstracts of IEICE TRANSACTIONS on Information and Systems (Japanese Edition) Publication Date: 2007/03/01 Vol. J90-D No. 3 pp. 848-861 Type of Manuscript: PAPER Category: Keyword: resource scheduling design, resource scheduling verification, model checking, tool, embedded systems,
	Summary \| Full Text(in Japanese):PDF (744.6KB)