排序方式: 共有37条查询结果,搜索用时 15 毫秒
1.
Tiziana Margaria Zongyan Qiu Hongli Yang 《International Journal on Software Tools for Technology Transfer (STTT)》2014,16(4):335-337
Program verification and testing techniques are crucial in fruitfully analyzing and validating complex software systems. This is an active research area and has produced various promising techniques in the last decade. However, many challenges lie ahead. We review the research area and summarize six papers selected from the Sixth International Symposium on Theoretical Aspects of Software Engineering (TASE 2012). 相似文献
2.
Marco Bakera Tiziana Margaria Clemens D. Renner Bernhard Steffen 《Innovations in Systems and Software Engineering》2009,5(3):211-228
We show on a case study from an autonomous aerospace context how to apply a game-based model-checking approach as a powerful
technique for the verification, diagnosis, and adaptation of system behaviors based on temporal properties. This work is part
of our contribution within the SHADOWS project, where we provide a number of enabling technologies for model-driven self-healing.
We propose here to use GEAR, a game-based model checker, as a user-friendly tool that can offer automatic proofs of critical
properties of such systems. Although it is a model checker for the full modal μ-calculus, it also supports derived, more user-oriented logics. With GEAR, designers and engineers can interactively investigate
automatically generated winning strategies for the games, by this way exploring the connection between the property, the system,
and the proof.
This work has been partially supported by the European Union Specific Targeted Research Project SHADOWS (IST-2006-35157), exploring a Self-Healing Approach to Designing cOmplex softWare Systems. The project’s web page is at .
This article is an extended version of Renner et al. [18] presented at ISoLA 2007, Poitiers, December 2007. 相似文献
3.
Tiziana Margaria 《International Journal on Software Tools for Technology Transfer (STTT)》2003,4(3):266-270
This special section is devoted to some of the novel approaches to hardware-like system verification that are currently being
used in industry or the object of fielded research. The topics presented in this special section are based on a selection
of the papers which appeared originally in the Proceedings of CHARME 2001, the Eleventh Advanced Research Working Conference on Correct Hardware Design and Verification Methods which took place in Livingston, Scotland, UK in September 2001. They are by no means a complete account of the numerous ways
in which hardware and hardware-like systems are being subject to rigorous investigation, but they represent an interesting
sample of today’s problems and of the techniques oriented around new uses of verification techniques.
Published online: 10 April 2003 相似文献
4.
5.
A constraint-based variability modeling framework 总被引:1,自引:0,他引:1
Sven J?rges Anna-Lena Lamprecht Tiziana Margaria Ina Schaefer Bernhard Steffen 《International Journal on Software Tools for Technology Transfer (STTT)》2012,14(5):511-530
Constraint-based variability modeling is a flexible, declarative approach to managing solution-space variability. Product variants are defined in a top-down manner by successively restricting the admissible combinations of product artifacts until a specific product variant is determined. In this paper, we illustrate the range of constraint-based variability modeling by discussing two of its extreme flavors: constraint-guarded variability modeling and constraint-driven variability modeling. The former applies model checking to establish the global consistency of product variants which are built by manual specification of variations points, whereas the latter uses synthesis technology to fully automatically generate product variants that satisfy all given constraints. Each flavor is illustrated by means of a concrete case study. 相似文献
6.
CMDE has been successfully applied in several industrial projects, including telecommunication services, supply-chain management, bioinformatics, logistics, and healthcare. In all these cases, agility at the customer, user, and application level proved key to aligning and linking business and IT. We now expect an additional boost when integrating this approach into a processor project-management environment that oversees development and evolution. This environment will include deadline management and progress reports, automatically informing all relevant parties when certain actions are required, managing different versions and product lines, and automatically steering the build and quality-management process. Perhaps not surprisingly, the development of this management environment proved to be a prime application of CMDE. 相似文献
7.
With its strong emphasis on modularization, service-oriented computing radically alters the way business processes are modeled, realized, and maintained. Domain-specific services virtualize complex functions of the underlying business applications so that they can be loosely coupled to form transorganizational processes. This level of abstraction fosters agility and lessens traditional provider dependence. Service-oriented design has long driven the development of the telecommunications infrastructure and applications, especially intelligent network services. Applying the same principles of domain specificity, visualization, loose coupling, and seamless vertical integration to business processes has the potential to lead to a new generation of personalized, secure, and highly available Web services 相似文献
8.
9.
Tiziana Margaria Bernhard Steffen 《International Journal on Software Tools for Technology Transfer (STTT)》2004,5(2-3):107-123
In this paper, our solution to the problem of modelling functionally complex communication systems at the application level, based on lightweight coordination, is extended to seamlessly capture system-level testing as well. This extension could be realized simply by self-application: the bulk of the work for integrating system-level testing into our development environment, the ABC, concerned domain modelling, which can be done using the ABC. Therefore, the extension of the ABC to cover system-level testing was merely an application development on the basis of the ABC, illustrated here in the domain of Computer Telephony Integration. Here the adoption of a coarse-grained approach to test design, which is central to the scalability of the overall testing environment, is the enabling aspect for system-level test automation. Together with our lightweight coordination approach this induces an understandable modelling paradigm of system-wide test cases that is adequate for the needs and requirements of industrial test engineers. In particular, it enables test engineers to graphically design complex test cases that, in addition, can even be automatically checked for their intended purposes via model checking. 相似文献
10.
ETI is an Electronic Tool Integration platform designed for project-oriented, domain-specific, public or private interactive experimentation with heterogeneous tools. Its users can experiment at ease over the web with the integrated tools and functionalities, and build own prototypical problem solvers on the basis of components (tools and transformations) contained in the ETI repository. In this paper we describe the graph concept underlying ETIs flexibility, the significant role played by graphs in the ETI platform, and the kind of support ETI offers to deal with graph objects. This way we sketch the potential of a closer cooperation between the ETI community and the community of research on graph-based tools. 相似文献