HOME | products | pure::variants | SPLC 2013 Tokyo

バリアント管理支援ツール pure::variants Solutions Forum 2013 8/28(水)

ソフトウエアプロダクトラインカンファレンス(SPLC 2013)に登壇する多彩なゲストを迎えて、バリアント管理支援ツール の Solutions Forumを開催
 


■日時: 8/28(水) 13時30分~17時
■場所:SPLC 2013 会場(西早稲田キャンパス)
■内容
 
 -機能安全規格とバリアント管理
 -Certus によるテストのバリアント管理事例
 -車載システム/Simulink のバリアント管理
 -Fraunhofer IESE によるALMとバリアント管理

講演内容 +スライド・資料公開中


Dr. Martin Becker – Department Head “Embedded Systems Development” – Fraunhofer IESE
 
Lean Variant Management with PuLSE™ and pure::variants
 
Along typical challenges of variant management in industrial practice the talk shows how to take first steps into a strategic variant management by means of PuLSE™ ECO scoping and Fraunhofer Variant Analysis, and how to sustain productivity in established product lines with PuLSE™ VITAL. Special attention is paid on how to combine PuLSE™ approaches with pure::variants.
 

Fraunhofer IESE によるバリアント管理の考え方、テクニックなど

 
Lean_Variant_Management_with_PuLSE_and_PV.pdf
Presentation_Variation_Management.pdf
 
Approaching Integrated Lifecycle and Variant Management for SMEs
 
Motivated by examples from industrial practice in different application domains, the talk outlines typical challenges small and mid-size companies are facing with lifecycle and variant management. Based on this, the talk presents approaches to integrate lifecycle and variant management, which are currently researched in the INLIVE project
 

アプリケーションライフサイクル管理とバリアント管理について

 
Approaching_Integrated_LM&VM_for_SMEs.pdf
 
About Fraunhofer IESE
http://www.iese.fraunhofer.de/en.html


Prof. Dr. - Ing. Ina Schaefer – Institute of Software Engineering and Automotive Informatics – Technische Universität Braunschweig
 
Discovering Variability Models by Family Model Mining
 
Model-driven development of software gains more and more importance, especially in domains with high complexity. In order to develop differing but still similar model-based systems, these models are often copied and modified according to the changed requirements. As the variability between these different models is not documented, issues arise in particular during maintenance. We present an approach to analyze related models and determine the variability between them. This analysis provides crucial information about the variability (i.e., changed parts, additional parts, and parts without any modification) between the models in order to create family models.
 

Simulink モデル間の差分を自動検出して pure::variants のファミリーモデルにインポート

 
Braunschweig.pdf
Braunschweig_paper.pdf
 
About the Institute:
https://www.tu-braunschweig.de/isf/team/schaefer


Dr. Dusica Marijan – Research Scientist – Certus SFI Software V&V Center, SIMULA RESEARCH LABORATORY, NORWAY
 
Managing test configurations in high-variability testing environments with TITAN and pure::variants
 
TITAN is a tool for managing test configurations in high-variability testing environments, based on feature modelling. Variability in a product line is captured by feature models and mapped to a product line test configurations model, in order to automatically select a set of test configurations for the given products.
 
TITAN offers:
 
- A graphical editor for feature model creation and modification;
- Optimization algorithms based on constraint programing to reduce and prioritize selected test configurations to help test engineers meet their objectives;
- A range of diagnostics which help test engineers find inconsistencies between the product and test configurations;
- Test configuration coverage analysis for the created products.
 
TITAN has been implemented in collaboration with Cisco Norway as an Eclipse RCP application using pure::variants of pure-systems GmbH.
 

フィーチャモデルから組み合わせ試験を自動生成

 
"Practical Pairwise Testing for Software Product Lines" で検索
 
About Certus
 
Certus is a research-based innovation center dedicated to software validation and verification. In partnership with major companies and public administrations, the center develops technologies to automate the testing of safety-critical embedded software systems, communication systems, and data-intensive systems. Certus is internationally recognized as a leading scientific and innovative actor in the modelling, certification and testing of highly-configurable software systems. More information can be found at http://www.certus-sfi.no/


Dr. Danilo Beuche – CEO pure-systems GmbH // ikv++ technologies and KPIT
 
medini analyse (IEC 61508, ISO 26262 or DO-178B ) and pure::variants - Integrated support for variability in a functional safety concept
 
Can variability in functional safety related assets be treated in the same way as for other artifacts like requirements, models and source code? This question is covered in a joint technical report issued by ikv++ technologies and pure-systems. The report presents a solution that shows medini analyze, pure::variants and
the EMF feature mapping extension in a combined application supporting variability in a functional safety concept, FTA and architecture models and user guidance.
 
A short presentation will introduce mediny analyse as a tool for functional safety. This will be followed by a tool demonstration of the integrated solution with pure::variants.
 

IEC 61508, ISO 26262, DO-178B などスタンダード認証とバリアント管理についての考察

 
http://www.pure-systems.com/downloads/documents/publications/2013-07-FunctionalSafetyAndVariability.pdf
 


 


Dr. Danilo Beuche – CEO – pure-systems GmbH
 
Danilo will focus on three topics during his presentation and Demo
 
- Introduction to pure::variants. Provide an overview of the basic concepts of the tool pure::variants for feature modelling, solution assets mapping and variant management for systematic reuse
 
- Variant Management across an Integrated Tool Chain with pure::variants. Show how pure::variants can be used in concert and integrated with other tools across the “V” model. Using an example from the Automotive domain, Danilo will show interaction with AUTOSAR tools, Architecture tools like Rhapsody and Enterprise Architect, Requirements Tools like DOORS, Office Tools like Word/Excel, Reporting.
 
- Integrated Application Lifecycle (ALM) and Variant Management. Danilo will show how pure::variants integrates with leading ALM tools from HP, IBM, Polarion or PTC. In the example Danilo will demonstrate aspects of ALM like Test Management or Requirements Management integrated with pure::variants.


Dr.Danilo氏の SPLC 2013 講演
 
チュートリアル 8/26(月)
 
午前: Transforming Legacy Systems into Software Product Lines
 
午後: Managing Requirements in Product Lines
 
講演 8/29(木)
 
- Functional Safety and Variability Can it be brought together? (Michael Schulze, Jan Mauersberger and Danilo Beuche)
 
- Modeling and Building Product Lines with pure::variants (Danilo Beuche)
 
Dr. Danilo氏は、独マグデブルグ大学、及び1995年からのGMD First(現、フラウンホーファー研究所)における、組み込みシステムに関する研究、フィーチャベースの開発ツールに対する取組みを基に、2001年に、pure-systems社を設立しました。組み込みシステムを中心に、プロダクトライン開発を支援する、バリアント/バライアビリティ管理ツールの開発を行い、コンサルタントとして顧客のプロダクトライン導入を支援しています。 

 

SPLE ソフトウエアプロダクトライン開発について

 市場要件を満たすために大規模・複雑化したソフトウエアシステムの派生製品を開発する現場では、”開発速度の加速”、”生産性向上によるコスト削減”、”高い品質の確保” といった要求を実現させる手法として、ソフトウエアプロダクトライン開発が注目されています。これは体系的に開発資産を再利用するための工業化策です。その原理はシンプルで理解しやすいものですが、産業界で実践的に行うためには専用の資産管理ツールが欠かせないことが明らかになっています。ソフトウエアシステムは肥大化し、多品種にわたって非常に多くの変動要素の依存・排他関係が複雑に混みあっているためです。

 

このセミナーでは 約10年に及び欧・米の顧客で実践されてきたソフトウエアプロダクトラインの資産管理についてのコンセプトを、ツールのデモを交えて紹介します。先行してプロダクトライン開発に取組んできた賢人(顧客)により育てられ、ノウハウが詰まったツールを用いれば、ソフトウエアプロダクトライン開発に必要となるプロセスや取組むべき課題を明らかにすることができます。
ソフトウエアプロダクトライン開発の適正な実施に重要なことは、先人の経験(成果も失敗例も)に学ぶこと。そして、それは柔軟かつイテレーティブに取組めること。一度に全てを行う(準備する)必要は無いということです。