Abstract
Modeling languages , such as UML 2.x and SysML , support model-based systems engineering . They are commonly used to specify, visualize, store, document, and exchange design models. Generally, they contain all the syntactic, semantic, and presentation information regarding a given application domain. A model is a representation of the system that is used to compile the requirements in order to create executable specifications . These specifications model the system at a high level of abstraction and include all the information needed to specify the software or hardware implementation . Specific diagrams are used to capture some of the system’s important aspects :
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
L. Aceto, W. J. Fokkink, and C. Verhoef. Structural Operational Semantics, chapter 3, pages 197–292. In Bergstra, J. A., Ponse, A., and Smolka, S. A., editors, Handbook of Process Algebra. Elsevier Science, Amsterdam, 2001.
L. Alawneh, M. Debbabi, F. Hassaïne, Y. Jarraya, and A. Soeanu. A Unified Approach for Verification and Validation of Systems and Software Engineering Models. In 13th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ECBS), Potsdam, Germany, March 2006.
ARTiSAN Software. ARTiSAN Real-time Studio. http://www.artisansw.com/pdflibrary/Rts_5.0_datasheet.pdf. Datasheet.
J. Bansiya and C. G. Davis. A Hierarchical Model for Object-Oriented Design Quality Assessment. IEEE Transactions on Software Engineering, 28(1):4–17, 2002.
D. Binkley. The Application of Program Slicing to Regression Testing. In Information and Software Technology Special Issue on Program Slicing, pages 583–594. Elsevier, Amsterdam, 1999.
G. Brat and W. Visser. Combining Static Analysis and Model Checking for Software Analysis. In the Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE), page 262, Washington, DC, USA, 2001. IEEE Computer Society.
L. C. Briand, P. T. Devanbu, and W. L. Melo. An Investigation into Coupling Measures for C++. In Proceedings of the 19th International Conference on Software Engineering, Boston, MA, pages 412–421, ACM, New York, NY, 1997.
F. Brito, e Abreu, and W. Melo. Evaluating the Impact of Object-Oriented Design on Software Quality. In the Proceedings of the 3rd International Software Metrics Symposium, Berlin, Germany, pages 90–99, 1996.
S. R. Chidamber and C. F. Kemerer. A Metrics Suite for Object Oriented Design. IEEE Transactions on Software Engineering, 20(6):476–493, 1994.
F. Ciesinski and M. Größer. On Probabilistic Computation Tree Logic. In Baier C., Haverkort B., Hermanns H., Katoen J-P. and Siegle M., editors, Validation of Stochastic Systems, vol. 2925 pages 147–188, Springer, Berlin, 2004.
E. M. Clarke and E. A. Emerson. Design and Synthesis of Synchronization Skeletons Using Branching Time Temporal Logic. In 25 Years of Model Checking, volume 5000 of Lecture Notes in Computer Science, pages 196–215. Springer, Berlin, 2008.
T. DeMarco. Controlling Software Projects: Management, Measurement and Estimation. Prentice Hall PTR, Upper Saddle River, NJ, 1986.
M. Genero, M. Piattini, and C. Calero. Early Measures for UML Class Diagrams. L’OBJET, 6(4), 2000.
G. K. Gill and C. F. Kemerer. Cyclomatic Complexity Density and Software Maintenance Productivity. IEEE Transactions on Software and Engineering, 17(12):1284–1288, 1991.
R. Gronback. Model Validation: Applying Audits and Metrics to UML Models. In BorCon 2004 Proceedings, 2004.
J. K. Hollingsworth. Critical Path Profiling of Message Passing and Shared-Memory Programs. IEEE Transactions on Parallel and Distributed Systems, 09(10):1029–1040, 1998.
W. Li and S. Henry. Maintenance Metrics for the Object Oriented Paradigm. In First International Software Metrics Symposium, pages 52–60, 1993.
W. Li and S. Henry. Object-Oriented Metrics that Predict Maintainability. Journal of Systems and Software, Baltimore, MD, USA, 23(2):111–122, 1993.
M. Lorenz and J. Kidd. Object-Oriented Software Metrics: A Practical Guide. Prentice Hall, Upper Saddle River, NJ, 1994.
R. C. Martin. OO Design Quality Metrics, 1994.
Nasa. Software Quality Metrics for Object-Oriented System Environments. Technical Report SATC-TR-95-1001, National Aeronautics and Space Administration, Goddard Space Flight Center, Greenbelt, Maryland, June 1995.
G. Norman and V. Shmatikov. Analysis of Probabilistic Contract Signing. Journal of Computer Security, 14(6):561–589, 2006.
Object Management Group. XML Metadata Interchange (XMI) Specification, 2003.
Object Management Group. A UML Profile for MARTE: Modeling and Analysis of Real-Time Embedded Systems, Beta 2, June 2008. OMG Adopted Specification.
G. D. Plotkin. A Structural Approach to Operational Semantics. Technical Report DAIMI FN-19, University of Aarhus, 1981.
F. Tip. A Survey of Program Slicing Techniques. Journal of Programming Languages, 3:121–189, 1995.
M. Y. Vardi. Branching vs. Linear Time: Final Showdown. In the Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), pages 1–22, London, UK, 2001. Springer.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Debbabi, M., Hassaïne, F., Jarraya, Y., Soeanu, A., Alawneh, L. (2010). Automatic Approach for Synergistic Verification and Validation. In: Verification and Validation in Systems Engineering. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-15228-3_6
Download citation
DOI: https://doi.org/10.1007/978-3-642-15228-3_6
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-15227-6
Online ISBN: 978-3-642-15228-3
eBook Packages: Computer ScienceComputer Science (R0)