Using Domain Specific Languages to Improve the Development of a Power Control Unit

• Autorzy: Mathijs Schuts , Jozef Hooman
• Języki publikacji: EN

Abstrakty

EN

To improve the design of a power control unit at Philips, two Domain Specific Languages (DSLs) have been used. The first DSL provides a concise and readable notation for the essential state transitions. It is used to generate both configuration files and analysis models. In addition, we also generate instances of a second DSL which represents test traces. This second DSL is used to generate test cases for the power control unit. The use of DSLs not only improved productivity, but also the quality of the configuration files and the test set.(original abstract)

Słowa kluczowe

PL

Domena internetowa; Rozwój

EN

Internet domain; Development

• Czasopismo: Annals of Computer Science and Information Systems
• Rocznik: 2015
• Tom: 5
• Strony: 781-788

Twórcy

autor

Mathijs Schuts

• Philips HealthTech, Best, The Netherlands

autor

Jozef Hooman

• Radboud University & TNO, Nijmegen & Eindhoven, The Netherlands

Bibliografia

• A. van Deursen, P. Klint, and J. Visser, "Domain-specific languages: An annotated bibliography," SIGPLAN Notices, vol. 35, no. 6, pp. 26-36, 2000. doi: http://dx.doi.org/10.1145/352029.352035
• M. Fowler, Domain Specific Languages. Addison-Wesley Professional, 2010.
• M. Voelter, S. Benz, C. Dietrich, B. Engelmann, M. Helander, L. C. L. Kats, E. Visser, and G. Wachsmuth, DSL Engineering - Designing, Implementing and Using Domain-Specific Languages. dslbook.org, 2013.
• J. Tolvanen, R. Pohjonen, and S. Kelly, "Advanced tooling for domainspecific modeling: MetaEdit+," in The 7th OOPSLA Workshop on Domain-Specific Modeling, 2007.
• P. Klint, T. van der Storm, and J. Vinju, "EASY meta-programming with Rascal," in Generative and Transformational Techniques in Software Engineering III, ser. Lecture Notes in Computer Science. Springer, 2011, vol. 6491, pp. 222-289.
• L. Kats and E. Visser, "The Spoofax language workbench. rules for declarative specification of languages and IDEs," in The 25th Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2010, 2010. doi: http://dx.doi.org/10.1145/1869459.1869497 pp. 444-463.
• Software Technology Group, TU Dresden, "EMFText," http://www. emftext.org/, 2011, version 1.4.0.
• L. Bettini, Implementing Domain-Specific Languages with Xtext and Xtend. Packt Publishing Ltd, 2013.
• J. Kärnä, J.-P. Tolvanen, and S. Kelly, "Evaluating the use of domainspecific modeling in practice," in The 9th OOPSLA workshop on Domain-Specific Modeling, 2009.
• I. Nagy, L. Cleophas, M. van den Brand, L. Engelen, L. Raulea, and E. Mithun, "VPDS: A DSL for software in the loop simulations covering material flow," in 17th Int. Conf. on Engineering of Complex Computer Systems (ICECCS), 2012, pp. 318-327.
• K. Chandrasekaran, S. Santurkar, and A. Arora, "Stormgen - a domain specific language to create ad-hoc storm topologies," in Proceedings of the 2014 Federated Conference on Computer Science and Information Systems, ser. Annals of Computer Science and Information Systems, M. P. M. Ganzha, L. Maciaszek, Ed., vol. 2. IEEE, 2014. doi: http://dx.doi.org/10.15439/2014F278 pp. 1621-1628.
• "Meta programming system (MPS)," http://jetbrains.com/mps, 2015.
• M. Voelter, D. Ratiu, B. Schaetz, and B. Kolb, "Mbeddr: An extensible C-based programming language and IDE for embedded systems," in Proceedings of the 3rd Annual Conference on Systems, Programming, and Applications: Software for Humanity (SPLASH '12). ACM, 2012. doi: http://dx.doi.org/10.1145/2384716.2384767 pp. 121-140.
• M. Voelter, "Generic tools, specific languages," Ph.D. dissertation, Delft University of Technology, 2014.
• "LonWorks," http://www.echelon.com/technology/lonworks/, 2015.
• "VisualState," http://www.iar.com/Products/IAR-visualSTATE/, 2015.
• "Jenkins," http://jenkins-ci.org/, 2015.
• A. Mooij and J. Hooman, "Creating a domain specific language (dsl) with Xtext," http://www.cs.ru.nl/J.Hooman/DSL/, 2015.
• "PlantUML," http://plantuml.sourceforge.net/, 2015.
• M.-F. Wendland, "Abstractions on test design techniques," in Proceed- ings of the 2014 Federated Conference on Computer Science and Information Systems, ser. Annals of Computer Science and Information Systems, M. P. M. Ganzha, L. Maciaszek, Ed., vol. 2. IEEE, 2014. doi: http://dx.doi.org/10.15439/2014F316 pp. 1575-1584.
• N. Shankar, "Symbolic analysis of transition systems," in Abstract State Machines: Theory and Applications (ASM 2000), ser. Lecture Notes in Computer Science, no. 1912. Springer, 2000, pp. 287-302.
• "Combining theorem proving and model checking through symbolic analysis," in CONCUR'00: Concurrency Theory, ser. Lecture Notes in Computer Science, no. 1877. Springer, 2000. doi: http://dx.doi.org/10.1007/3-540-44618-4_1 pp. 1-16.
• G. Hamon, L. de Moura, and J. Rushby, "Automated test generation with SAL," SRI International, CSL Technical Note, January 2005.
• B. D. Theelen, O. Florescu, M. Geilen, J. Huang, P. van der Putten, and J. Voeten, "Software/hardware engineering with the parallel objectoriented specification language," in Proceedings of MEMOCODE'07. IEEE, 2007. doi: http://dx.doi.org/10.1109/MEMCOD.2007.371231 pp. 139-148.
• S. Cranen, J. Groote, J. Keiren, F. Stappers, E. de Vink, W. Wesselink, and T. Willemse, "An overview of the mCRL2 toolset and its recent advances," in Tools and Algorithms for the Construction and Analysis of Systems (TACAS). Springer, 2013. doi: http://dx.doi.org/10.1007/978- 3-642-36742-7_15 pp. 199-213.
• J. Whittle, J. Hutchinson, and M. Rouncefiled, "The state of practice in model-driven engineering," in IEEE Software. IEEE, 2014. doi: http://dx.doi.org/10.1109/MS.2013.65 pp. 79-85.

Identyfikatory

DOI

10.15439/2015F46