Art

J-GLOBAL ID：201402206032649563   Reference number：14A0565835

A discussion on the verification of concurrent systems for considering critical execution order

際どい実行順序を考慮した並行システム検証に関する考察

Author (3)： CHANG Han-Myung (南山大 情報理工) ,  SAWADA ATSUSHI (南山大 情報理工) ,  NORO MASAMI (南山大 情報理工)
Material： 電子情報通信学会技術研究報告  (IEICE Technical Report (Institute of Electronics, Information and Communication Engineers))
Volume： 113  Issue： 497(CPSY2013 105-121)  Page： 43-48  Publication year： Mar. 08, 2014 
JST Material Number： S0532B  ISSN： 0913-5685  Document type： Proceedings
Article type： 原著論文  Country of issue： Japan (JPN)  Language： JAPANESE (JA)

Thesaurus term： system ,  *program execution ,  *order(sequence) ,  *verification ,  process algebra ,  CSP ,  sensor ,  detection ,  vending machine ,  computer processing system
Semi thesaurus term： *system verification ,  event detection ,  *parallel system

JST classification (1)： Computer system development  (JD02010R)

Reference (10)：

• M. Ben-Ari: Principles of Concurrent and Distributed Programming 2nd edition, Addison-Wesley (2006).
• 張漢明,野呂昌満,沢田篤史,蜂巣吉成,吉田 敦:モデル検査を用いた振舞い検証の実用化技術に関する考察, FOSE2010, pp.107-112,近代科学社(2010).
• FDR2 Manual, Formal Systems Limited.
• P.A. Hsiung, C.W. Lin, C.H. Tseng, T.V. Lee, J.M. Fu, and W.B. See: VARTAF: An Application Framework for the Design and Verification of Embedded Real-Time Software, IEEE Trans. on SE, 30,10, pp. 656-674 (2004).
• K. Madhukar, R. Metta, P. Singh, R. Venkatesh: Reachability Verification of Rhapsody Statecharts, Software Testing, Verification and Validation Workshops (ICSTW), 2013 IEEE Sixth International Conference, pp. 96-101 (2013).

Terms in the title (3)： 順序 ,  並行 ,  システム検証