@conference {Gianni201472, title = {Interface management in concurrent engineering facilities for systems and service systems engineering: A model-based approach}, booktitle = {CEUR Workshop Proceedings}, volume = {1300}, year = {2014}, note = {cited By 0}, pages = {72-81}, publisher = {CEUR-WS}, organization = {CEUR-WS}, abstract = {Concurrent engineering facilities (CEFs) are successfully used in the aeropsace sector to design systems and services that that fulfill the requirements. Model-based systems engineering (MBSE) enables the effective (i.e., unambiguous) communication in the collaborative activities within concurrent engineering and service systems engineering facilities. The advantages obtained by the MBSE approach can be further scaled up by an innovative approach that take into explicit account the representation of the inter-systems aspects, i.e., those aspects, namely interfaces, that stay in between the system, its sub-systems and external entities (other systems and organizations). Such an approach, briefly denoted as a Model-based Interface Engineering (MBIE), brings several benefits to the CEF activities. This paper illustrates the integration of the Interface Communication Modelling Language (ICML) into the existing MBSE methods for the CEF software framework VirSat, by identifying the business needs driving the use of MBIE approaches and showing example application scenarios. Copyright {\textcopyright} held by the authors.}, keywords = {Application programs, Application scenario, Collaborative activities, Computer programming, Concurrent engineering, Engineering facilities, Innovative approaches, Interface engineering, Interface management, Model based approach, Model-based systems engineering (MBSE), Software frameworks, Systems engineering}, issn = {16130073}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-84915808014\&partnerID=40\&md5=f0fffa53cc2bb0532e88c66848379569}, author = {Gianni, D. and Schaus, V. and Andrea D{\textquoteright}Ambrogio and Gerndt, A. and Lisi, M. and De Simone, P.}, editor = {D{\textquoteright}Ambrogio A., Leardi C., Arrichiello V., Garro A., Poloni C., Tundis A.} } @conference {Bocciarelli201448, title = {A methodological template for model driven systems engineering}, booktitle = {CEUR Workshop Proceedings}, volume = {1300}, year = {2014}, note = {cited By 0}, pages = {48-58}, publisher = {CEUR-WS}, organization = {CEUR-WS}, abstract = {The advent of formal modeling languages (e.g., UML and SysML) and system architecture frameworks (e.g., DoDAF and MODAF) has given systems engineers the ability to effectively describe the requirements as well as the behavior and the structure of systems. Approaches founded on the use of modeling languages and frameworks are grouped under the banner of MBSE (Model Based Systems Engineering). The basic idea is that a model evolves over the system development life-cycle, until it becomes the built-to baseline. In this paper, we consider a modeling approach based on the use of a metamodeling architecture that focuses on the use of models as the primary artifacts of system development. We specifically address the use of MDA (Model Driven Architecture), which allows to increase the level of automation when evolving models from the very abstract representation of a system down to the system implementation, thus making easier (i.e., at reduced cost and effort) the analysis, development and testing activities. By applying MDA concepts and standards to MBSE approaches we obtain what we refer to as MDSE (Model Driven Systems Engineering). The paper illustrates a methodological template for MDSE and shows its application to the development of a software-intensive system. Copyright {\textcopyright} held by the authors.}, keywords = {Abstract representation, Application programs, Development and testing, Formal modeling language, Level of automations, Life cycle, MDA(model driven architecture), Model-based systems engineering, Software architecture, Software design, Software intensive systems, Standards, System implementation, Systems engineering}, issn = {16130073}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-84915806250\&partnerID=40\&md5=bd972de1f5baef3c33fbef58e187c81d}, author = {Bocciarelli, P. and Andrea D{\textquoteright}Ambrogio and Caponi, E. and Giglio, A. and Paglia, E.}, editor = {D{\textquoteright}Ambrogio A., Leardi C., Arrichiello V., Garro A., Poloni C., Tundis A.} } @conference {D{\textquoteright}Ambrogio2012234, title = {A method for the prediction of software reliability}, booktitle = {Proceedings of the 6th IASTED International Conference on Software Engineering and Applications, SEA 2002}, year = {2012}, note = {cited By 16}, pages = {234-240}, publisher = {Acta Press}, organization = {Acta Press}, abstract = {This paper deals with the reliability assessment of component-based software to predict the software product reliability at the early stage. The proposed approach transforms a specification written in a semi-formal language into a stochastic model to be used for reliability evaluation. The paper assumes an UML-based system specification and introduces a method to map the specification onto a failure model. The method enables software designers with no specific knowledge of reliability theory to predict at design time the reliability of the final product, thus introducing lifecycle reliability prediction into their development best practices. The method is illustrated by use of an application case study that deals with the development of distributed software. A software architecture that allows the method to be easily integrated into UML-based software development environments is also introduced. The architecture is based on the use of XML (eXtensible Markup Language) to represent both the UML system specification and the failure model.}, keywords = {Application programs, Automatic modeling, Component based software, Forecasting, Formal languages, Reliability assessments, Reliability Evaluation, Reliability prediction, Reliability theory, Semi-formal languages, Software development environment, Software engineering, Software reliability, Specifications, XML, XML (extensible markup language)}, isbn = {0889863237; 9780889863231}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-84904159409\&partnerID=40\&md5=e3371411e5b757b27cda93c405253da1}, author = {Andrea D{\textquoteright}Ambrogio and Iazeolla, G. and Mirandola, R.} }