Needed foundations for assuring the desirable behavior of software-reliant systems

Authors:
Linda Northrop;Mark Klein;John Goodenough;Dennis Smith
Affiliations:
Carnegie Mellon University, Pittsburgh, PA, USA;Carnegie Mellon University, Pittsburgh, PA, USA;Carnegie Mellon University, Pittsburgh, PA, USA;Carnegie Mellon University, Pittsburgh, PA, USA
Venue:
Proceedings of the FSE/SDP workshop on Future of software engineering research
Year:
2010

Citing 12
Cited 0

Static checking of system behaviors using derived component assumptions

ACM Transactions on Software Engineering and Methodology (TOSEM)
Checking Assumptions in Component Dynamics as the Architectural Level

COORDINATION '97 Proceedings of the Second International Conference on Coordination Languages and Models
Portable RK: A Portable Resource Kernel for Guaranteed and Enforced Timing Behavior

RTAS '99 Proceedings of the Fifth IEEE Real-Time Technology and Applications Symposium
Using Software Architecture for Code Testing

IEEE Transactions on Software Engineering
Software Reliability Engineering: More Reliable Software Faster and Cheaper

Software Reliability Engineering: More Reliable Software Faster and Cheaper
Handling interdependent values in an auction mechanism for bandwidth allocation in tactical data networks

Proceedings of the 3rd international workshop on Economics of networked systems
Software for Dependable Systems: Sufficient Evidence?

Software for Dependable Systems: Sufficient Evidence?
Monotonic Partial Order Reduction: An Optimal Symbolic Partial Order Reduction Technique

CAV '09 Proceedings of the 21st International Conference on Computer Aided Verification
On the Implementation of Global Real-Time Schedulers

RTSS '09 Proceedings of the 2009 30th IEEE Real-Time Systems Symposium
New Response Time Bounds for Fixed Priority Multiprocessor Scheduling

RTSS '09 Proceedings of the 2009 30th IEEE Real-Time Systems Symposium
Gang EDF Scheduling of Parallel Task Systems

RTSS '09 Proceedings of the 2009 30th IEEE Real-Time Systems Symposium
Causal dataflow analysis for concurrent programs

TACAS'07 Proceedings of the 13th international conference on Tools and algorithms for the construction and analysis of systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

Future trends and current limitations presage a need for interdisciplinary foundations for designing, constructing, maintaining, adapting, and rapidly deploying software-reliant systems with assured system capabilities at all scales.