{"title":"Comparison of ASCET and UML - Preparations for an abstract software architecture","authors":"Dirk Ahrens, A. Pfeiffer, T. Bertram","doi":"10.1109/FDL.2008.4641451","DOIUrl":null,"url":null,"abstract":"For efficient software engineering in automotive applications the executed design processes must separate general properties and characteristics of the created system from implementation and realisation details as long as possible. This short paper shows how software architectures can be displayed on an abstract level by using the Unified Modeling Language (UML) and how these abstract depictions can be transferred to commonly used design and code generation tools either manually or by automation. Formal methods and transformation rules can be applied by using the Extensible Markup Language (XML). The methods are exemplarily shown for ASCET SE by ETAS.","PeriodicalId":202172,"journal":{"name":"2008 Forum on Specification, Verification and Design Languages","volume":"20 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2008-10-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"3","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"2008 Forum on Specification, Verification and Design Languages","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/FDL.2008.4641451","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 3
Abstract
For efficient software engineering in automotive applications the executed design processes must separate general properties and characteristics of the created system from implementation and realisation details as long as possible. This short paper shows how software architectures can be displayed on an abstract level by using the Unified Modeling Language (UML) and how these abstract depictions can be transferred to commonly used design and code generation tools either manually or by automation. Formal methods and transformation rules can be applied by using the Extensible Markup Language (XML). The methods are exemplarily shown for ASCET SE by ETAS.