Art

J-GLOBAL ID：201802232439979622   Reference number：18A0666006

車載システム開発における形式手法実践の現状と課題

Author (1)： AOKI TOSHIAKI (北陸先端科学技術大学院大)
Material： システム/制御/情報  (システム制御情報学会誌)
Volume： 62  Issue： 4  Page： 134-140  Publication year： Apr. 15, 2018 
JST Material Number： G0902A  ISSN： 0916-1600  Document type： Article
Article type： 解説  Country of issue： Japan (JPN)  Language： JAPANESE (JA)

Thesaurus term： *electric equipment ,  *automotive fitting ,  system ,  formal method ,  development ,  safety analysis ,  software development ,  system development ,  model base development ,  *In-vehicle electronic devices
Semi thesaurus term： formal method ,  *system for vehicle

JST classification (1)： Electric equipment  (QG03070C)

Reference (56)：

• [1] IEC 61508: Functional safety of electrical/electronic/programmable electronic safety-related systems (1998)
• [2] ISO 26262 Road vehicles - functional safety (2011)
• [3] C. B. Jones: Systematic Software Development using VDM (2nd Edition), Prentice Hall (1990)
• [4] J. R. Abrial: The B-Book: Assigning Programs to Meanings, Cambridge University Press (1996)
• [5] J. R. Abrial: Modeling in Event-B: System and Software Engineering, Cambridge University Press (2010)

Terms in the title (4)： 車載システム ,  開発 ,  形式手法 ,  現状