Experience of using a lightweight formal specification method for a commercial embedded system product line

Requirements Engineering ◽

10.1007/s00766-004-0209-1 ◽

2005 ◽

Vol 10 (2) ◽

pp. 161-172 ◽

Author(s):

Michael Breen

Keyword(s):

Embedded System ◽

Formal Specification ◽

Product Line ◽

Specification Method ◽

Download Full-text

Model-based framework for embedded system product line

IECON 2012 - 38th Annual Conference on IEEE Industrial Electronics Society ◽

10.1109/iecon.2012.6389403 ◽

2012 ◽

Author(s):

Horacio Hoyos ◽

Rubby Casallas ◽

Fernando Jimenez

Keyword(s):

Embedded System ◽

Product Line ◽

Model Based ◽

Download Full-text

System Product Line Engineering for Small Appliances with Driver Derivation

2016 23rd Asia-Pacific Software Engineering Conference (APSEC) ◽

10.1109/apsec.2016.067 ◽

2016 ◽

Author(s):

Shintaro Hosoai ◽

Natsuko Noda ◽

Tomoji Kishi

Keyword(s):

Product Line ◽

Product Line Engineering ◽

System Product ◽

Line Engineering

Download Full-text

NASA goddard space flight centercore flight system product line

Proceeding of the 2nd international workshop on Product line approaches in software engineering - PLEASE '11 ◽

10.1145/1985484.1985488 ◽

2011 ◽

Author(s):

David McComas ◽

Dharmalingam Ganesan ◽

Mikael Lindvall

Keyword(s):

Space Flight ◽

Product Line ◽

Flight System ◽

Nasa Goddard Space ◽

Goddard Space ◽

Download Full-text

Improving the evolutionary architecting process for embedded system product lines

2011 IEEE International Systems Conference ◽

10.1109/syscon.2011.5929065 ◽

2011 ◽

Author(s):

Jakob Axelsson

Keyword(s):

Embedded System ◽

Product Lines ◽

Download Full-text

Framework for industrial embedded system product development and management

2013 International Symposium on System on Chip (SoC) ◽

10.1109/issoc.2013.6675265 ◽

2013 ◽

Author(s):

Arttu Leppakoski ◽

Erno Salminen ◽

Timo D. Hamalainen

Keyword(s):

Product Development ◽

Embedded System ◽

System Product ◽

Development And Management

Download Full-text

Formal specification and verification of embedded system with shared resources

Proceedings. 15th IEEE International Workshop on Rapid System Prototyping, 2004. ◽

10.1109/iwrsp.2004.1311088 ◽

2004 ◽

Author(s):

Ki-Seok Bang ◽

Jin-Young Choi ◽

Sung-Ho Jang

Keyword(s):

Embedded System ◽

Formal Specification ◽

Shared Resources ◽

Formal Specification And Verification ◽

Specification And Verification

Download Full-text

Applying product line Use case modeling in an industrial automotive embedded system: Lessons learned and a refined approach

2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS) ◽

10.1109/models.2015.7338265 ◽

2015 ◽

Author(s):

Ines Hajri ◽

Arda Goknil ◽

Lionel C. Briand ◽

Thierry Stephany

Keyword(s):

Embedded System ◽

Product Line ◽

Lessons Learned ◽

Use Case ◽

Use Case Modeling

Download Full-text

Discussion on: “Formal Specification Method for Systems Automation”

European Journal of Control ◽

10.1016/s0947-3580(06)71019-6 ◽

2006 ◽

Vol 12 (2) ◽

pp. 131-132

Author(s):

Janan Zaytoon

Keyword(s):

Formal Specification ◽

Specification Method

Download Full-text

Discussion on : Formal specification method for systems automation

European Journal of Control ◽

10.3166/ejc.12.131-134 ◽

2006 ◽

Vol 12 (2) ◽

pp. 131-134

Author(s):

Janan Zaytoon

Keyword(s):

Formal Specification ◽

Specification Method

Download Full-text

Formal Specification Method for Systems Automation

European Journal of Control ◽

10.3166/ejc.12.115-130 ◽

2006 ◽

Vol 12 (2) ◽

pp. 115-130 ◽

Author(s):

Jean-François Pétin ◽

Gérard Morel ◽

Hervé Panetto

Keyword(s):

Formal Specification ◽

Specification Method

Download Full-text