Transactions on Software Engineering
The IEEE Transactions on Software Engineering (TSE) is an archival journal published bimonthly. We are interested in well-defined theoretical results and empirical studies that have potential impact on the construction, analysis, or management of software. Read the full scope of TSE.
Expand your horizons with Colloquium, a monthly survey of abstracts from all CS transactions! Replaces OnlinePlus in January 2017.
From the June 2018 Issue
A PVS-Simulink Integrated Environment for Model-Based Analysis of Cyber-Physical Systems
By Cinzia Bernardeschi, Andrea Domenici, and Paolo Masci
This paper presents a methodology, with supporting tool, for formal modeling and analysis of software components in cyber-physical systems. Using our approach, developers can integrate a simulation of logic-based specifications of software components and Simulink models of continuous processes. The integrated simulation is useful to validate the characteristics of discrete system components early in the development process. The same logic-based specifications can also be formally verified using the Prototype Verification System (PVS), to gain additional confidence that the software design complies with specific safety requirements. Modeling patterns are defined for generating the logic-based specifications from the more familiar automata-based formalism. The ultimate aim of this work is to facilitate the introduction of formal verification technologies in the software development process of cyber-physical systems, which typically requires the integrated use of different formalisms and tools. A case study from the medical domain is used to illustrate the approach. A PVS model of a pacemaker is interfaced with a Simulink model of the human heart. The overall cyber-physical system is co-simulated to validate design requirements through exploration of relevant test scenarios. Formal verification with the PVS theorem prover is demonstrated for the pacemaker model for specific safety aspects of the pacemaker design.
Editorials and Announcements
- We are pleased to announce that Nenad Medvidović, a Professor in the Computer Science Department and in the Informatics Program at the University of Southern California, has been selected as the new Editor-in-Chief of the IEEE Transactions on Software Engineering starting in 2018.
- TSE now offers authors access to Code Ocean. Code Ocean is a cloud-based executable research platform that allows authors to share their algorithms in an effort to make the world’s scientific code more open and reproducible. Learn more or sign up for free.
- According to Clarivate Analytics' 2016 Journal Citation Report, TSE has an impact factor of 3.272.
- State of the Journal (January 2018)
- Editorial from the New Editor in Chief (January 2018)
- Connecting and Serving the Software Engineering Community (March 2016)
- Editorial: Journal-First Publication for the Software Engineering Community (Jan 2016)
- State of the Journal Editorial (Jan 2015)
- In Memoriam: Mary Jean Harrold (1947-2013) (Nov 2013)
- In Memoriam: David Notkin (1953-2013) (June 2013)
- 2016 TSE Reviewers List (PDF)
- 2016 TSE Annual Index (PDF)
Access All Recently Published TSE Articles
Subscribe to the RSS feed of recently published TSE content
Sign up for e-mail notifications through IEEE Xplore Content Alerts
View TSE preprints in the Computer Society Digital Library