割込みを持つ組込みアセンブリプログラムのリアルタイム性のソフトウェアモデル検査

• Project/Area Number: 21K11824
• Research Category: Grant-in-Aid for Scientific Research (C)
• Allocation Type: Multi-year Fund
• Section: 一般
• Review Section: Basic Section 60050:Software-related
• Research Institution: Kanazawa University
• Principal Investigator: 山根 智 金沢大学, その他部局等, 教授 (70263506)
• Project Period (FY): 2021-04-01 – 2024-03-31
• Project Status: Adopted (Fiscal Year 2021)
• Budget Amount: ¥3,900,000 (Direct Cost: ¥3,000,000、Indirect Cost: ¥900,000); Fiscal Year 2023: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000); Fiscal Year 2022: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000); Fiscal Year 2021: ¥2,080,000 (Direct Cost: ¥1,600,000、Indirect Cost: ¥480,000)