Art

J-GLOBAL ID：201902269075935354   Reference number：19A0889228

Specification description and of real-time multitask systems by the OTS/CafeOBJ method

OTS/CafeOBJ法によるマルチタスク実時間システムの仕様記述

Author (4)： HIGASHI SHUKI (富山県大) ,  NAKAMURA MASAKI (富山県大) ,  SAKAKIBARA KAZUTOSHI (富山県大) ,  OGATA KAZUHIRO (北陸先端科学技術大学院大)
Material： 電子情報通信学会技術研究報告  (IEICE Technical Report (Institute of Electronics, Information and Communication Engineers))
Volume： 118  Issue： 499(MSS2018 81-95)  Page： 13-18  Publication year： Mar. 07, 2019 
JST Material Number： S0532B  ISSN： 0913-5685  Document type： Proceedings
Article type： 原著論文  Country of issue： Japan (JPN)  Language： JAPANESE (JA)

Thesaurus term： system ,  real time processing ,  *computer processing system ,  multiprocessing ,  *specification description ,  constraint condition (restriction) ,  *formal description ,  software engineering ,  time constraint ,  *formal specification description
Semi thesaurus term： multitask ,  *formal specification description ,  real time system

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

Reference (6)：

• R. Diaconescu and K. Futatsugi, CafeOBJ Report, World Scientific, Singapore, 1998.
• 二木厚吉,緒方和博,中村正樹, ′′CafeOBJ入門(1)-(6),′′ コンピュータソフトウェア, 25(2) pp.1-27, 25(3) pp.69-80, 25(4) pp.68-84, 26(1) pp.71-83, 26(2) pp.93-106, 2008, 2009.
• K. Ogata, and K. Futatsugi, ′′Proof scores in the OTS/-CafeOBJ method,′′ In: Najm, E., Nestmann, U., Stevens, P. (eds.) FMOODS 2003. LNCS, vol.2884, pp.170âĂŞ184. Springer, Heidelberg,2003.
• K. Ogata and K. Futatsugi, ′′Some tips on writing proof scores in the OTS/CafeOBJ method,′′ In: Futatsugi, K., Jouannaud, J.-P., Meseguer, J. (eds.) Goguen Festschrift. LNCS, vol.4060, pp.596âĂŞ615. Springer, Heidelberg, 2006.
• 緒方和博, ′′代数仕様に基づく実時間システムの検証,′′ 計測と制御, 48(11): 816-821, 2009.

Terms in the title (4)： OTS ,  マルチタスク ,  実時間システム ,  仕様記述