Abstract
This paper proposes a new style of product line engineering methods. It focuses on constructing embedded systems that take into account the contexts such as the external physical environments. In the current product line engineering, the feature analysis is mainly conducted from the viewpoint of system configurations: how hardware and software components are configured to constitute a system. In most cases, contexts are not considered explicitly. As a result, unexpected and unfavorable behavior might emerge in a system if a developer does not recognize any possible conflicting combinations between the system and contexts. To deal with this problem, this paper provides the notion of a context-dependent product line, which is composed of the system and context lines. The former is obtained by analyzing a family of systems. The latter is obtained by analyzing features of contexts associated to the systems. In the proposed method, each feature is described using VDM++. The configuration of selected system components and contexts can readily be checked with VDM++ Toolset.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Atkinson, C., et al.: Component-Based Product Line Engineering with the UML. Addison-Wesley, Reading (2001)
Clements, P., Northrop, L.: Software Product Lines. Addison-Wesley, Reading (2001)
Dehlinger, J., Lutz, R.: Software Fault Tree Analysis for Product Lines. In: Proceedings of the Eighth IEEE International Symposium on High Assurance Systems Engineering (HASE 2004), pp. 12–21 (2004)
CSK: VDMTools –The CSK VDM++ Language, http://www.vdmtools.jp/files/langmanpp_a4E.pdf
Fitzgerald, J., Larsen, G.P.: Modeling Systems, Practical Tools and Techniques in Software Development. Cambridge University Press, Cambridge (1998)
Greenspan, S., Mylopoulos, J., Borgida, A.: Capturing More World Knowledge in the Requirements Specification. In: Proceedings of International Conference on Software Engineering (ICSE 1982), pp. 225–234 (1982)
Hayes, I., Jackson, M., Jones, C.: Determining the specification of a control system from that of its environment. In: Araki, K., Gnesi, S., Mandrioli, D. (eds.) FME 2003. LNCS, vol. 2805, pp. 154–169. Springer, Heidelberg (2003)
Höfner, P., Khedri, R., Möller, B.: Feature Algebra. In: Misra, J., Nipkow, T., Sekerinski, E. (eds.) FM 2006. LNCS, vol. 4085, pp. 300–315. Springer, Heidelberg (2006)
Jackson, D., Wing, J.: Lightweight Formal Methods. IEEE Computer 29(4), 21–22 (1996)
Jackson, D.: Software Abstractions. The MIT Press, Cambridge (2006)
Jackson, M.: Problem Frame: Analyzing and Structuring Software Development Problems. Addison-Wesley, Reading (2001)
Jones, C.B.: A Rigorous Approach To Formal Methods. IEEE Computer 29(4), 20–21 (1996)
Kang, K.C., Kim, S., Lee, J., Shin, E., Huh, M.: FORM: A Feature-oriented Reuse Method with Domain-specific Reference Architecture. Annals of Software Engineering 5, 143–168 (1998)
Kang, K.C., Lee, J., Donohoe, P.: Feature-Oriented Product Line Engineering. IEEE Software 9(4), 58–65 (2002)
Leveson, N.G.: Safeware: System Safety and Computers. Addison-Wesley, Reading (1995)
Liu, J., Dehlinger, J., Lutz, R.: Safety Analysis of Software Product Lines Using State-Based Modeling. In: Proceedings of the 16th IEEE International Symposium on Software Reliability Engineering (ISSRE 2005), pp. 21–30 (2005)
Saaltink, M.: The Z/EVES system. In: Bowen, J.P., Hinchey, M.G., Till, D. (eds.) ZUM 1997. LNCS, vol. 1212, pp. 72–85. Springer, Heidelberg (1997)
Sahara, S.: Current status of VDMTools. Talk at the 2nd Overture Workshop, FM 2006, Hamilton (August 2006), http://www.overturetool.org/downloads/ows2/slides6.pdf
Sun, J., Zhang, H., Fang, Y., Wang, L.H.: Formal Semantics and Verification for Feature Modeling. In: Proceedings of the 10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2005), pp. 303–312 (2005)
Ubayashi, N., Nakajima, S.: Context-aware Feature-Oriented Modeling with an Aspect Extension of VDM. In: Proceedings of the 22nd Annual ACM Symposium on Applied Computing (SAC 2007), pp. 1269–1274 (2007)
VDMTools, http://www.vdmtools.jp/
Zuo, H., Mannion, M., Sellier, D., Foley, R.: An Extension of Problem Frame Notation for Software Product Lines. In: Proceedings of the 12th Asia-Pacific Software Engineering Conference (APSEC 2005), pp. 499–505 (2005)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ubayashi, N., Nakajima, S., Hirayama, M. (2010). Context-Dependent Product Line Practice for Constructing Reliable Embedded Systems. In: Bosch, J., Lee, J. (eds) Software Product Lines: Going Beyond. SPLC 2010. Lecture Notes in Computer Science, vol 6287. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-15579-6_1
Download citation
DOI: https://doi.org/10.1007/978-3-642-15579-6_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-15578-9
Online ISBN: 978-3-642-15579-6
eBook Packages: Computer ScienceComputer Science (R0)