526 Hits in 4.7 sec

Checking General Safety Criteria on UML Statecharts [chapter]

Zsigmond Pap, István Majzik, András Pataricza
2001 Lecture Notes in Computer Science  
The general safety criteria described in the literature are reviewed and automated analysis techniques are proposed.  ...  This paper describes methods and tools for automated safety analysis of UML statechart specifications.  ...  The general safety criteria were checked for all statechart diagrams. The automatic checking of a statechart using the graph transformation framework required about 30 seconds in average.  ... 
doi:10.1007/3-540-45416-0_5 fatcat:a43q34c7mff63bdg2ov3k3rfsy

Generation of Optimized Testsuites for UML Statecharts with Time [chapter]

Tilo Mücke, Michaela Huhn
2004 Lecture Notes in Computer Science  
We present an approach to automatically generate timeoptimized coverage-based testsuites from a subclass of deterministic statecharts with real-time constraints.  ...  The statecharts are extended to accomplish common and new coverage criteria inspired by the experience of test experts and translated into timed automata.  ...  Syntax checks on statecharts. For the convenience and understanding of the user, we plan to implement a syntax check on statecharts that points out model elements that cannot be processed by TestGen.  ... 
doi:10.1007/978-3-540-24704-3_9 fatcat:5okazldelzakljqx7kic2k5sxe

Termination Criteria for Model Transformation [chapter]

Hartmut Ehrig, Karsten Ehrig, Juan de Lara, Gabriele Taentzer, Dániel Varró, Szilvia Varró-Gyapay
2005 Lecture Notes in Computer Science  
In this work, we show termination criteria for model transformation based on graph transformation.  ...  Previous results on graph transformation are extended by proving the termination of a transformation if the rules applied meet certain criteria.  ...  The transformation aims at formal verification of safety critical applications designed by UML statecharts using semi-decision analysis methods of Petri nets [20] and it was applied on various UML models  ... 
doi:10.1007/978-3-540-31984-9_5 fatcat:xxbfmr2x4fdy7ij3wxs7elboae

Safety of computer control systems: challenges and results in software development

Janusz Zalewski, Wolfgang Ehrenberger, Francesca Saglietti, Janusz Górski, Andrew Kornecki
2003 Annual Reviews in Control  
This paper reviews some results in improving software safety in computer control systems.  ...  Since UML has no means to express real-time properties, we propose a method to convert the UML statecharts to XTGs, so that statechart models can be model checked using the PMC model checker .  ...  A UML statechart consists of states and transitions.  ... 
doi:10.1016/s1367-5788(03)00004-x fatcat:mtuoxdn7vndrjikbugrlemt3ju

VeriAgent: an Approach to Integrating UML and Formal Verification Tools

E. Mota, E. Clarke, A. Groce, W. Oliveira, M. Falcão, J. Kanda
2004 Electronical Notes in Theoretical Computer Science  
With software rapidly growing in size and complexity, graphical specifications in languages like UML need to be formally verified, before the implementation phase, in order to guarantee the development  ...  These works are focused on the use of model checking.  ...  Formal Code Generation to allow the translation of FOSM notation into formal language notation. For instance, NuSMV for Model Checking.  ... 
doi:10.1016/j.entcs.2004.04.008 fatcat:cnk7hmncgvcpjm4asufquntdee

Using Graph Transformation for Practical Model-Driven Software Engineering [chapter]

Lars Grunske, Leif Geiger, Albert Zündorf, Niels Van Eetvelde, Pieter Van Gorp, Dániel Varró
2005 Model-Driven Software Development  
A suitable formalism is based on graph transformation systems and graph transformation rules.  ...  Model transformations are one of the core technologies needed to apply OMG's model driven engineering concept for the construction of real world systems.  ...  Based on a list of criteria for UML refactoring (like simplicity, backward compatibility with previous UML versions, the ability to integrate with code smell detectors and maintain the consistency with  ... 
doi:10.1007/3-540-28554-7_5 fatcat:t4sc2cmeargp5dtogdjtvqbmuy

VeriAgent: an Approach to Integrating UML and Formal Verification Tools*1

2004 Electronical Notes in Theoretical Computer Science  
The mathematical notations of Formal Verification Tools (FVTs) do not prevent us from wrongly defining the behavior of systems, any more than UML-based CASE tools do.  ...  With software rapidly growing in size and complexity, graphical specifications in languages like UML need to be formally verified, before the implementation phase, in order to guarantee the development  ...  These works are focused on the use of model checking.  ... 
doi:10.1016/s1571-0661(04)05017-0 fatcat:iuwmr2xvdreo5knfbmgldmhzhy

Nobody's perfect

Holger Giese, Stefan Henkler, Martin Hirsch, Florian Klein
2006 Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools - SCESM '06  
The derived patterns can then be verified using our technique for the compositional formal verification of Mechatronic UML models as introduced in [10].  ...  As technical systems keep growing more complex and sophisticated, designing software for the safety-critical coordination between their components becomes increasingly difficult.  ...  Code generation [6] as well as real-time model checking [13] are currently supported for real-time statecharts.  ... 
doi:10.1145/1138953.1138967 dblp:conf/scesm/GieseHHK06 fatcat:ms67zqqguvhfvadpkmxceuw4ny


2007 Software Engineering of Fault Tolerant Systems  
temporal correctness criteria on statecharts.  ...  This chapter presents two runtime error detection techniques for UML 2.0 statechart implementations.  ...  Sowmya and Ramesh proposed the FNLOG language [2] based on predicate calculus and TL for proving various dependability criteria on statecharts primarily aiming at model checking.  ... 
doi:10.1142/9789812778864_0006 fatcat:wkggftvidnh75mjbhzm2svdgpa

Fail-Safe Testing of Safety-Critical Systems

Ahmed Gario, A. von Mayrhauser Andrews
2014 2014 23rd Australian Software Engineering Conference  
This dissertation proposes an approach for testing of safety-critical systems. It is based on a behavioral and a fault model.  ...  This approach results in an integrated model which then can be used to generate tests using a variety of testing criteria.  ...  They also made the test generation automatic from a UML statechart by identifying the required annotations for the UML statecharts.  ... 
doi:10.1109/aswec.2014.19 dblp:conf/aswec/GarioA14 fatcat:klsoi6au6rco7i5ufcktfltyii

Fail-Safe Test Generation in Safety Critical Systems

Anneliese Andrews, Salwa Elakeili, Salah Boukhris
2014 2014 IEEE 15th International Symposium on High-Assurance Systems Engineering  
Unlike other approaches which integrate behavioral and failure models, and then generate tests from the integrated model, we build safety mitigation tests from an existing behavioral test suite, using  ...  an explicit mitigation model for which we generate mitigation paths which are then woven at selected failure points into the original test suite to create failure-mitigation tests (safety mitigation test  ...  that can automatically generate and select test cases from UML statechart diagrams.  ... 
doi:10.1109/hase.2014.16 dblp:conf/hase/AndrewsEB14 fatcat:vi5ho6nbpbh3rb6qeyolghdlcu

Test Case Optimization and Redundancy Reduction Using GA and Neural Networks

Itti Hooda, R.S. Chhillar
2018 International Journal of Electrical and Computer Engineering (IJECE)  
Hence, automated generation of test cases is highly required. Here a novel testing methodology is being presented to test object-oriented software based on UML state chart diagrams.  ...  In this approach, function minimization technique is being applied and generate test cases automatically from UML state chart diagrams.  ...  Again, we will be concentrating just on the activity and statechart graphs made according to the UML 2.0 principles.  ... 
doi:10.11591/ijece.v8i6.pp5449-5456 fatcat:uy6rj6py2nbjrnjef6ome3eg4i

A survey on model-based testing approaches

Arilo C. Dias Neto, Rajesh Subramanyan, Marlon Vieira, Guilherme H. Travassos
2007 Proceedings of the 1st ACM international workshop on Empirical assessment of software engineering languages and technologies held in conjunction with the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE) 2007 - WEASELTech '07  
The comparison criteria includes representation models, support tools, test coverage criteria, the level of automation, intermediate models, and the complexity.  ...  This paper describes a systematic review performed on modelbased testing (MBT) approaches.  ...  Model used for test case generation We differentiate between the MBT approaches using UML and non-UML models.  ... 
doi:10.1145/1353673.1353681 fatcat:uwxgv5sdunadlkbjegyfqgrlpi

Adding temporal modeling to the UML to support systems design

Colin J. Neill, Jon D. Holt
2002 Systems Engineering  
For example, the interfaces between heterogeneous systems must be precisely defined during design, and the completeness and precision of that definition is heavily dependent on the modelling language used  ...  The solution proposed here is to translate the UML models that define those interfaces into a formal method.  ...  Statechart Diagrams Statechart diagrams are used in the UML to model the internal state behavior of objects.  ... 
doi:10.1002/sys.10024 fatcat:lwuyiyj64nborjhes3eatrsclq

Design validation of embedded dependable systems

A. Bondavalli, A. Fantechi, D. Latella, L. Simoncini
2001 IEEE Micro  
interfaces, timing constraints, controlled application criticality, and so on.  ...  The quality of a product design depends on the quality of the process that produces it.  ...  Besides investigating model checking in the context of OCL and general UML models, our studies particularly emphasize modelchecking techniques and tools for a behavioral subset of UML statechart diagrams  ... 
doi:10.1109/40.958699 fatcat:wghik64werc27lhq3tyumg2xn4
« Previous Showing results 1 — 15 out of 526 results