Article

CHESS: a model-driven engineering tool environment for aiding the development of complex industrial systems

Authors:

Tullio VardanegaAuthors Info & Claims

ASE '12: Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering

Pages 362 - 365

https://doi.org/10.1145/2351676.2351748

Published: 03 September 2012 Publication History

Get Access

Abstract

Modern software systems require advanced design support especially capable of mastering rising complexity, as well as of automating as many development tasks as possible. Model-Driven Engineering (MDE) is earning consideration as a solid response to those challenges on account of its support for abstraction and domain specialisation. However, MDE adoption often shatters industrial practice because its novelty opposes the need to preserve vast legacy and to not disband the skills matured in pre-MDE or alternative development solutions. This work presents the CHESS tool environment, a novel approach for cross-domain modelling of industrial complex systems. It leverages on UML profiling and separation of concerns realised through the specification of well-defined design views, each of which addresses a particular aspect of the problem. In this way, extra-functional, functional, and deployment descriptions of the system can be given in a focused manner, avoiding issues pertaining to distinct concerns to interfere with one another.

References

[1]

M. Short. Development guidelines for dependable real-time embedded systems. In Computer Systems and Applications: AICCSA’08, pages 1032–1039, 2008.

Digital Library

Google Scholar

[2]

S. Kent. Model driven engineering. In Proceedings of IFM’02, pages 286–298. Springer-Verlag, 2002.

Digital Library

Google Scholar

[3]

J. Bézivin. On the Uniﬁcation Power of Models. Software and System Modeling, 4(2):171–188, 2005.

Digital Library

Google Scholar

[4]

R. Eramo, A. Pierantonio, J.R. Romero, and A. Vallecillo. Change Management in Multi-Viewpoint System Using ASP. In EDOCW, pages 433–440, 2008.

Digital Library

Google Scholar

[5]

P. Mohagheghi, M. A. Fernandez, J. A. Martell, M. Fritzsche, and W. Gilani. MDE Adoption in Industry: Challenges and Success Criteria. In Models in Software Engineering, pages 54–59. 2009.

Digital Library

Google Scholar

[6]

E. W. Dijkstra. On the role of scientiﬁc thought. In Selected writings on Computing: A Personal Perspective, pages 60–66. Springer-Verlag, 1982.

Crossref

Google Scholar

[7]

IEEE. Recommended Practice for Architectural Description of Software-Intensive Systems. IEEE Std 1471-2000, 2000.

Google Scholar

[8]

J.M. Nahman. Dependability of Engineering Systems: Modeling and Evaluation . Eng. Online Lib. 2002.

Crossref

Google Scholar

[9]

B. Gallina and S. Punnekkat. Fi4fa: A formalism for incompletion, inconsistency, interference and impermanence failures analysis. In DANCE at SEAA, pages 493–500, 2011.

Digital Library

Google Scholar

[10]

M. Bordin, M. Panunzio, and T. Vardanega. Fitting Schedulability Analysis Theory into Model-Driven Engineering. In ECRTS, pages 135–144, 2008.

Digital Library

Google Scholar

Cited By

View all

Carnevali LCerboni SPicano BScommegna LVicario E(2024)An observation metamodel for dependability tools2024 19th European Dependable Computing Conference (EDCC)10.1109/EDCC61798.2024.00041(169-172)Online publication date: 8-Apr-2024
https://doi.org/10.1109/EDCC61798.2024.00041
Ciccozzi F(2024)Towards accessible software engineering for heterogeneous hardware2024 International Conference on Artificial Intelligence, Computer, Data Sciences and Applications (ACDSA)10.1109/ACDSA59508.2024.10467878(1-6)Online publication date: 1-Feb-2024
https://doi.org/10.1109/ACDSA59508.2024.10467878
Sheikh Bahaei SGallina B(2024)Assessing risk of AR and organizational changes factors in socio-technical robotic manufacturingRobotics and Computer-Integrated Manufacturing10.1016/j.rcim.2024.10273188:COnline publication date: 1-Aug-2024
https://dl.acm.org/doi/10.1016/j.rcim.2024.102731
Show More Cited By

Index Terms

CHESS: a model-driven engineering tool environment for aiding the development of complex industrial systems
1. Software and its engineering
  1. Software creation and management
    1. Designing software

Recommendations

Managing embedded systems complexity with aspect-oriented model-driven engineering

Model-driven engineering addresses issues of platform heterogeneity and code quality through the use of high-level system models and subsequent automatic transformations. Adoption of the model-driven software engineering paradigm for embedded systems ...
Concern-Oriented Model-Driven Development Framework
ASWEC '08: Proceedings of the 19th Australian Conference on Software Engineering

Developing complex software systems which involve a lot of different non-orthogonal concerns requires considerable effort. This situation can be further exacerbated by tangled and scattered concerns found across the system. In order to reduce this sort ...
Model-driven engineering of middleware-mediated distributed systems
UML Modeling Languages and Applications

Existing software engineering methods tend to have a strong focus on functional requirements, ignoring more or less non-functional concerns, such as middleware-specific concerns, which have to be addressed sooner or later when designing and implementing ...

Comments

Information & Contributors

Information

Published In

ASE '12: Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering

September 2012

409 pages

ISBN:9781450312042

DOI:10.1145/2351676

General Chair:
Michael Goedicke,
Program Chairs:
Tim Menzies,
Motoshi Saeki

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

In-Cooperation

SIGAI: ACM Special Interest Group on Artificial Intelligence
Universität Duisburg Essen: Universität Duisburg Essen
TCSE: IEEE Computer Society's Tech. Council on Software Engin.

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 03 September 2012

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Conference

ASE'12

Sponsor:

SIGSOFT

ASE'12: IEEE/ACM International Conference on Automated Software Engineering

September 3 - 7, 2012

Essen, Germany

Acceptance Rates

Overall Acceptance Rate 82 of 337 submissions, 24%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

41
Total Citations
View Citations
272
Total Downloads

Downloads (Last 12 months)4
Downloads (Last 6 weeks)0

Reflects downloads up to 14 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Carnevali LCerboni SPicano BScommegna LVicario E(2024)An observation metamodel for dependability tools2024 19th European Dependable Computing Conference (EDCC)10.1109/EDCC61798.2024.00041(169-172)Online publication date: 8-Apr-2024
https://doi.org/10.1109/EDCC61798.2024.00041
Ciccozzi F(2024)Towards accessible software engineering for heterogeneous hardware2024 International Conference on Artificial Intelligence, Computer, Data Sciences and Applications (ACDSA)10.1109/ACDSA59508.2024.10467878(1-6)Online publication date: 1-Feb-2024
https://doi.org/10.1109/ACDSA59508.2024.10467878
Sheikh Bahaei SGallina B(2024)Assessing risk of AR and organizational changes factors in socio-technical robotic manufacturingRobotics and Computer-Integrated Manufacturing10.1016/j.rcim.2024.10273188:COnline publication date: 1-Aug-2024
https://dl.acm.org/doi/10.1016/j.rcim.2024.102731
Carvalho GDihego JSampaio A(2024)An Integrated Framework for Analysing, Simulating and Testing UML ModelsFormal Methods: Foundations and Applications10.1007/978-3-031-78116-2_6(86-104)Online publication date: 3-Dec-2024
https://dl.acm.org/doi/10.1007/978-3-031-78116-2_6
Basile Dter Beek MCarnevali LChiaradonna SDi Giandomenico FFantechi AGori G(2024)An Integrated Perspective on the Evaluation of Complex Railway SystemsLeveraging Applications of Formal Methods, Verification and Validation. Application Areas10.1007/978-3-031-75390-9_13(190-207)Online publication date: 27-Oct-2024
https://dl.acm.org/doi/10.1007/978-3-031-75390-9_13
Mörtstrand MBucaioni ACiccozzi F(2023)Bringing a Continuous Integration and Delivery Pipeline into MoVES2023 International Conference on Electrical, Computer and Energy Technologies (ICECET)10.1109/ICECET58911.2023.10389472(1-7)Online publication date: 16-Nov-2023
https://doi.org/10.1109/ICECET58911.2023.10389472
Bougacha RLaleau RBon PCollart-Dutilleul SBen Ayed R(2023)Modeling Train Systems: From High-Level Architecture Graphical Models to Formal SpecificationsRisks and Security of Internet and Systems10.1007/978-3-031-31108-6_12(153-168)Online publication date: 14-May-2023
https://doi.org/10.1007/978-3-031-31108-6_12
Cavada RCimatti AGriggio ASusi A(2023)A Formal IDE for Railways: Research ChallengesSoftware Engineering and Formal Methods. SEFM 2022 Collocated Workshops10.1007/978-3-031-26236-4_9(107-115)Online publication date: 11-Feb-2023
https://doi.org/10.1007/978-3-031-26236-4_9
Horváth BMolnár VGraics BHajdu ÁRáth IHorváth ÁKarban RTrancho GMicskei Z(2023)Pragmatic verification and validation of industrial executable SysML modelsSystems Engineering10.1002/sys.2167926:6(693-714)Online publication date: 10-May-2023
https://doi.org/10.1002/sys.21679
Vašíček OFiedor JKratochvíla TKřena BSmrčka AVojnar TRoychoudhury ACadar CKim M(2022)Unite: an adapter for transforming analysis tools to web services via OSLCProceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering10.1145/3540250.3558939(1408-1418)Online publication date: 7-Nov-2022
https://dl.acm.org/doi/10.1145/3540250.3558939
Show More Cited By

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

Managing embedded systems complexity with aspect-oriented model-driven engineering

Concern-Oriented Model-Driven Development Framework

Model-driven engineering of middleware-mediated distributed systems