2,546 Hits in 4.6 sec

Integrating Statechart Components in Polyglot [chapter]

Daniel Balasubramanian, Corina S. Păsăreanu, Jason Biatek, Thomas Pressburger, Gabor Karsai, Michael Lowry, Michael W. Whalen
2012 Lecture Notes in Computer Science  
Statecharts is a model-based formalism for simulating and analyzing reactive systems.  ...  In our previous work, we developed Polyglot, a unified framework for analyzing different semantic variants of Statechart models.  ...  We continue to work on the Plexil integration and to apply our framework to the analysis of interacting software components developed for human and robotic missions.  ... 
doi:10.1007/978-3-642-28891-3_26 fatcat:3fzykdm7ojeshdmu2dxp62uini

From Graph Transformation to Software Engineering and Back [chapter]

Luciano Baresi, Mauro Pezzè
2005 Lecture Notes in Computer Science  
Software engineers usually represent problems and solutions using graph-based notations at different levels of abstractions.  ...  This paper aims primarily at illustrating how graph transformation can help software engineers, but it also discusses how software engineering can ameliorate the practical application of graph transformation  ...  Traditional quality assurance techniques are mostly based on pre-deployment test and analysis, and provide limited support to these new challenges.  ... 
doi:10.1007/978-3-540-31847-7_2 fatcat:o56zvmn5rrdzjc3rlzqmy3lkom

Analyzing software architectures with Argus-I

Marlon E. R. Vieira, Marcio S. Dias, Debra J. Richardson
2000 Proceedings of the 22nd international conference on Software engineering - ICSE '00  
This formal research demonstration attempts to present an approach to develop and assess architecture and component-based systems based on specifying software architecture augmented by statecharts representing  ...  The approach is applied for the C2 style [2] and associated ADL and is supported within a quality-focussed environment, called Argus-I, which assists specification-based analysis and testing at both the  ...  based on both ADLs and UML statecharts.  ... 
doi:10.1145/337180.337624 dblp:conf/icse/VieiraDR00 fatcat:xtcehglw7naszlvcxx35cp6mim

Integrating Safety Analysis With Functional Modeling

Omar El Ariss, Dianxiang Xu, W. Eric Wong
2011 IEEE transactions on systems, man and cybernetics. Part A. Systems and humans  
In this paper, we present an approach for integrating fault-tree-based safety analysis into statechart-based functional modeling.  ...  Index Terms-Fault integration, fault tree analysis (FTA), software reliability, software safety, software validation, statecharts.  ...  In [37] and [38] , the authors propose a component-based safety analysis model, the state event fault tree (SEFT), that improves on the semantic weaknesses of fault trees when dealing with software.  ... 
doi:10.1109/tsmca.2010.2093889 fatcat:tuiwmyeaivhsjd7n3eqywtr5nu

Polyglot: Systematic Analysis for Multiple Statechart Formalisms [chapter]

Daniel Balasubramanian, Corina S. Păsăreanu, Gábor Karsai, Michael R. Lowry
2013 Lecture Notes in Computer Science  
In Polyglot, Statechart models are translated into a common Java representation with pluggable semantics for different Statechart variants.  ...  The tool has been applied in the context of safety-critical software systems whose interacting components were modeled using multiple Statechart formalisms.  ...  Conclusion We have described Polyglot, a tool for the systematic analysis of model-based software written with multiple Statechart formalisms.  ... 
doi:10.1007/978-3-642-36742-7_36 fatcat:aqb6rlnmxvgovbh37absgwbqfa

High-Level Modeling of Software-Management Interactions and Tasks for Autonomic Computing

Edin Arnautovic, Hermann Kaindl, J Falb, Roman Popp
2008 Fourth International Conference on Autonomic and Autonomous Systems (ICAS'08)  
We strive for a uniform high-level approach to task and interaction representation based on the following human communication theories.  ...  Such discourse models are based on insights from theories of human communication. This should make them "natural" for humans to define and understand.  ...  It is based on the generic autonomic architecture [9] separating the autonomic manager from the managed system.  ... 
doi:10.1109/icas.2008.46 dblp:conf/icas/ArnautovicKFP08 fatcat:rh2hn5smmbd7zoeny2j3ugoh5q

Specifying behavioral semantics of UML diagrams through graph transformations

Jun Kong, Kang Zhang, Jing Dong, Dianxiang Xu
2009 Journal of Systems and Software  
However, the lack of a formal semantics makes it difficult to automate analysis and verification.  ...  Based on the graph grammar, the execution of a set of non-conflict state transitions is interpreted by a sequence of graph transformations.  ...  Based on formal models, those languages allow users to define software architectures without ambiguity, and thus are suitable for automatic reasoning. They are tailored for expert users.  ... 
doi:10.1016/j.jss.2008.06.030 fatcat:7xis77mmyfah7galnilflg3ywq

UML Statechart Diagrams on the ADONIS Metamodeling Platform

Hans-Georg Fill
2005 Electronical Notes in Theoretical Computer Science  
In this article it is shown how the abstract and concrete syntax of UML statechart diagrams can be described by the use of the metamodeling concepts of ADONIS.  ...  ADONIS Modeling Hierarchy and Architecture The ADONIS metamodeling platform is based on a modeling hierarchy (see Figure 2 ) that is one possible instance of the theoretical considerations explained above  ...  Excerpt of the ADONIS meta-metamodel [5] The software architecture of ADONIS is realized as a three-tier-architecture consisting of the database facilities and ADONIS core components, the logical layer  ... 
doi:10.1016/j.entcs.2004.12.028 fatcat:y5fzhol6jvfuxif6mc7pcpjzhu

From Requirements to Architectures for Better Adaptive Software Systems

João Pimentel, Konstantinos Angelopoulos, Vítor Estêvão Silva Souza, John Mylopoulos, Jaelson Castro
2013 International i* Workshop  
In this paper we present ongoing work on supporting the design and runtime execution of adaptive software systems both at a requirements and architectural level, as wells as its challenges, ranging from  ...  Other approaches are requirements-based, thus concerned with goals, tasks, contexts and preferences as concepts in terms of which adaptation is defined.  ...  This work has been supported by the ERC advanced grant 267856 "Lucretius: Foundations for Software Evolution" and by Brazilian institutions CAPES and CNPq.  ... 
dblp:conf/istar/PimentelASMC13 fatcat:2oz2injcx5butbqms5g3m66pgm

Real-Time Embedded Software Design for Mobile and Ubiquitous Systems

Pao-Ann Hsiung, Shang-Wei Lin, Chao-Sheng Lin
2008 Journal of Signal Processing Systems  
software component-based reuse, formal synthesis, and formal verification.  ...  The proposed architecture for VERTAF is component-based which allows plug-and-play for the scheduler and the verifier.  ...  For handling complexity, we applied model-based, architecture-based, and function-based abstractions during verification. 5.  ... 
doi:10.1007/s11265-008-0268-5 fatcat:27uddispifgljiywyamnltxdia


Daniel Balasubramanian, Corina S. Păsăreanu, Michael W. Whalen, Gábor Karsai, Michael Lowry
2011 Proceedings of the 2011 International Symposium on Software Testing and Analysis - ISSTA '11  
To verify these safety-critical systems, a unified framework is needed based on a formal semantics that captures the variants of Statecharts.  ...  The framework has been built on the basis of a parametric formal semantics that captures the common core of Statecharts with extensions for different variants, and addresses previous limitations.  ...  CONCLUSION We have presented Polyglot, a framework for the analysis and test case generation of model-based fight software described using multiple Statechart formalisms.  ... 
doi:10.1145/2001420.2001427 dblp:conf/issta/BalasubramanianPWKL11 fatcat:bvivraglmvhk5lz6u63chuuboa

Towards Design Verification and Validation at Multiple Levels of Abstraction [chapter]

Holger Giese, Martin Kardos, Ulrich Nickel
2002 IFIP Advances in Information and Communication Technology  
The paper then focuses on how we use a series of formal semantics of our design language to enable the effective evaluation of software designs by means of validation and verification.  ...  The ISILEIT project aims at the development of a seamless methodology for the integrated design. analysis and validation of such embedded systems.  ...  The validation in our approach is based on this series of formal semantics with different levels of abstraction or running the generated executable code.  ... 
doi:10.1007/978-0-387-35599-3_8 fatcat:h6rk6bsz55hvbgdz4vekm5tumu

Requirements-Level Semantics and Model Checking of Object-Oriented Statecharts

Rik Eshuis, David N. Jansen, Roel Wieringa
2002 Requirements Engineering  
In this paper we define a requirements-level execution semantics for object-oriented statecharts and show how properties of a system specified by these statecharts can be model checked using tool support  ...  Statecharts describe object life cycles. Our semantics includes synchronous and asynchronous communication between objects and creation and deletion of objects.  ...  Second, we classify software architecture design decisions into two groups: those based upon software requirements and upon properties of the external environment, and those based upon the software implementation  ... 
doi:10.1007/s007660200019 fatcat:zbtd4m6yvvfuvirbzban6yokiu

Formal Design and Verification of Real-Time Embedded Software [chapter]

Pao-Ann Hsiung, Shang-Wei Lin
2004 Lecture Notes in Computer Science  
Component reuse is based on a formal UML real-time embedded object model.  ...  software component-based reuse, formal synthesis, and formal verification.  ...  The software development methodology used in [7] is based on sets of interconnected so-called software circuits.  ... 
doi:10.1007/978-3-540-30477-7_26 fatcat:duvley43yfbwjddai2turqeifa

Integrating Graphical and Natural Language Specifications to Support Analysis and Testing

Christopher L. Robinson-Mallett, Robert M. Hierons
2017 2017 IEEE 25th International Requirements Engineering Conference Workshops (REW)  
The presented solution is based on a combination of a graphical notation and natural language and can be used to drive model-based testing.  ...  This paper presents a model-based approach for improving the quality of comprehensive requirements sets.  ...  This additional semantic information must be retained; in the proposed approach the identity of the original GN is retained so that it is possible to apply analysis techniques that depend on this semantics  ... 
doi:10.1109/rew.2017.50 dblp:conf/re/Robinson-Mallett17 fatcat:iioln2dhdred3kfhk2ft4chk6q
« Previous Showing results 1 — 15 out of 2,546 results