Academy - Training offers for Axivion users | Axivion With our Axivion Academy, we offer regular training courses on the use of Axivion Suite. Benefit from the know-how of our technical experts as well as from the exchange with other users…

継続的インテグレーション development + operations

https://www.ritsumei.ac.jp/acd/re/ssrc/result/memoirs/kiyou21/21-07.pdf HIS（Hersteller Initiative Software）は，ドイツの自動車メーカ 5 社（アウディ，BMW，ポルシェ，ダイムラー・クライスラー [ 現 ダイムラー ]，VW）によって2001年に設立された…

Embedded Systems Solutions Include ProfilerAnalysis and optimization of #includes. The tool reports, for example, #includes that can be replaced with forward declarations, or that may be removed altogether. The tool’s results can be fine-t…

デッドコード候補の検知方法 デッドコードとは，プログラム実行時に実行される可能性がない文，プログラムなど，プログラムの実行結果に影響を与えないソースコードのことです。デッドコード候補から，テストが不要なプログラムの選定や，プログラムの処理の…

コードクローン（重複コード）とは何か？プログラムの保守性を低下させる手法 | Promapedia（プロマペディア） コードクローンとは、１システム内で類似した・または一致したものが複数存在するソースコードを指します。コードクローンという呼び名は特にソ…

Automotive SPICE Automotive SPICE®＊2(Software Process Improvement and Capability dEtermination:以下A-SPICE)は、車載ソフトウェア開発プロセスのフレームワークを定めた業界標準のアセスメントプロセスモデルです。CMMISM＊3同様、開発プロセスを定量…

機能安全 - トレーニング、テクニカルソリューション、アセスメント、および認証 | SGS ジャパン SGSジャパンはSGSグループの機能安全認証機関で、ISO26262規格化ワーキンググループのドイツ国内委員でもあるSGS-TUV Saar と協調し、ISO26262, IEC61508など…

https://jis.eomec.com/iso/iso-iec-ts-17961_2013-35#gsc.tab=0 ISO/IEC TS 17961:2013は、Cプログラミング言語での安全なコーディングのルールとコード例を指定しています。

共通脆弱性タイプ一覧CWE概説：IPA 独立行政法人 情報処理推進機構 共通脆弱性タイプ一覧CWE（Common Weakness Enumeration）(*1)は、ソフトウェアにおけるセキュリティ上の弱点（脆弱性）の種類を識別するための共通の基準を目指しています。

CERT/CSIRT（サート/シーサート） | レイヤーズ・コンサルティング CERT（Computer Emergency Response Team）は、インシデント（コンピューターやインターネットのセキュリティ）に関する研究や情報発信を行なっているアメリカの研究機関です。1988年に発生…

MISRA（Motor Industry Software Reliability Association）とは | シノプシス車載システム MISRA（Motor Industry Software Reliability Association）は、安全・セキュリティに関連する電子システム、組み込み制御システム、ソフトウェア集約的アプリケー…

AUTOSARとは？／What is AUTOSAR？−2015年版−（後編）：AUTOSAR〜はじめの一歩、そしてその未来（2）（2/4 ページ） - MONOist AUTOSARにおけるデータ交換は、基本的にXMLを用いて行われる。AUTOSAR XMLあるいはARXMLと呼ばれるこれらのデータ形式は、さまざ…

/オートザー/ AUTOSAR準拠の車載ソフトウェア開発向けプラットフォーム | 富士ソフト株式会社 AUTOSARは、自動車ソフトウェアの再利用性を高め、品質、信頼性の安定化を図って、ソフトウェアに係わるコストアップを抑制する開発プロセスです。AUTOSAR(オート…

チャート式絶対に身につけたい数学2+Bの基本 (チャート式・シリーズ), p.55 例題37 2直線x - y + 3 = 0，x + 2 y - 4 = 0の交点と，点(1, 3)を通る直線の方程式を求めよ。 まず2直線の交点の座標を求める。 intersect:=linSolve(system(x-y+3=0,x+2*y-4=0),{…