ISO26262 Part.6 ソフトウェア開発（手法）
自動車分野向け機能安全規格「ISO26262」のソフトウェア開発（手法）概要 これまで自動車分野向けの機能安全規格「ISO26262」の概要について解説してきましたが、今回は最終回として、ソフトウェア開発における“手法”にフォーカスし、その内容を紹介したいと思います。 ISO26262の準形式手法、形式手法 機能安全規格では、要求や設計を「準形式手法」や「形式手法」で記載することがあります。 ここで使用する準形式手法は、ISO26262FDIS（最終ドラフト）版により、「UML」や「SADT」が推奨されており、汎用性や準形式検証（シミュレーション）を考慮するような場合には、UMLを利用することが多いと考えられます。 一方のSADTは、次のような図を用いた手法となります。 UMLについては他の連載や関連する情報が多く存在するので、本稿では、これまであまり紹介されてこなかった形式手法について解
A Life in Shinjuku.: Fowler DSLのエッセンス
とあることからFowler DSLのエッセンスを考える機会があり、昔内輪向けに作った資料を引っ張りだして眺めてみたが、わりと良い線いってると思う。 HEAD FIRST DSL View more presentations from kentaro watanabe.FowlerのDSL本が提示する価値は、おおまかに以下の3点にある。上記のスライドでは1と2にフォーカスしている。 モデルを中心に据えた思想の提示実装スタイルの分類実装テクニック集これは、紙幅の大半が3に割かれており、書いた時点では実装テクニックを全て把握していなかったことや、そもそも3はまとめがほぼ不可能、ということもあった。 モデルを中心に据えた思想の提示 従来のDSLでは、スクリプトによるモデルの組み立て、という考えが必ずしも明示的に意識されておらず、DSLがもたらす価値の源泉はDSL自身にある、と考える傾向が強かった
2009/01/04 日記: ソースコード自動生成に対する一般的な考察 (執筆中)
[いがぴょんの日記v2,diary,igapyon] 私は昔からソースコード自動生成に取り組んできました。そして、2005年からは blanco Framework] というオープンソース・プロダクトを通じてソースコード自動生成に取り組んできました。これらの経験ものとに、特に一般的だと考えられる点について考察してメモしておきます。 私は昔からソースコード自動生成に取り組んできました。そして、2005年からは blanco Framework というオープンソース・プロダクトを通じてソースコード自動生成に取り組んできました。これらの経験ものとに、特に一般的だと考えられる点について考察してメモしておきます。 まずは歴史を知っておこう ソースコード自動生成を考えるにあたり、先人たちが 20世紀からおこなってきた様々なソースコード自動生成の取り組みについて知っておく必要があります。この点につ
ソフトウエア開発改革のアプローチ～その三：自動化とMDA、ATG、SATソルバ） - 技術戦略アドバイザ／開発テクノロジーコンサルタント ハシモト・タカナリのエンジニアリング日記
カーネギーメロン大学ソフトウエア工学研究所パートナ／カーネギーメロン大学ソフトウエア工学研究所認定インストラクタ／プライベート・テクニカル・コンサルタント
分析設計モデルをわがままに活用しよう JUDE API入門
上図のように、何かの情報をもとにモデルを作成したり、モデルからドキュメントやソースを作成できたりします。せっかくモデリングツールを使ってモデルを書くのですから、プログラムを使って作業を効率化してしまいましょう。それを可能にするのが、プログラムでモデルにアクセスできるAPIです。 具体的な活用例 はじめにJUDEのAPIの具体的な活用例を示します。 既存システムのデータベース定義を読み込み、JUDEのERモデルを作成 設計モデルの規模や品質を分析するために、モデルデータのメトリクスを作成 WebフレームワークRuby on Railsとモデルの連携 これらの例はほんの一部で、皆さんの状況ごとにいろいろな活用方法が考えられると思います。開発プロセスも扱っているモデルもツールもプロジェクトによってさまざまですから、やりたいこともさまざまでしょう。そんなわがままな要求にこたえられるのがAPIです。
モデル駆動ソフトウェア開発のベストプラクティス - Fight the Future
# Separate the generated and manual code from each other # Don't check-in generated code # Integrate the generator into the build process # Use the resources of the target platform # Generate clean code # Use the complier # Talk in Metamodelese # Develop DSLs iteratively # Develop model-validation iteratively # Test the generator using a reference model # Select suitable technology # Use textual s
モデル駆動ソフトウェア開発のためのベストプラクティス
それでは、実際のベストプラクティスはどのようなものか?2つのバリエーションがあって、うまい具合に一緒に使うこともできる。まず生成したコードに別のディレクトリを準備すべきである。(通常は src-gen)こうすれば生成したコードと生成していないコードの物理的な分離ができる。さらに、すべての生成した成果物は、「// WARNING! GENERATED CODE, DO NOT MODIFY」のようなコメントで始めるべきである。完璧主義の人は、そのコードがどのテンプレートで生成したかを追記してこれを補うかもしれない。どちらのオプションも、IDEの中で生成したファイルと生成していないファイルを区別するのに使うことができる。 生成したコードをチェックインしない 生成したコードはチェックインすべきではない。それはJavaのバイトコードや他の派生した成果物をチェックインすべきではないのと同じ理由である
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
日々精進 - スパークスシステムズ ジャパン代表のBlog:ソースコード読み込みのカスタマイズ - livedoor Blog（ブログ）
スパークスシステムズジャパン フォーラム - ニュース
ソフトウエア開発改革のアプローチ～そのニ：自動化とMDA、ATG、SATソルバ） - 技術戦略アドバイザ／開発テクノロジーコンサルタント ハシモト・タカナリのエンジニアリング日記