Dec 26
2011
By Douglas C. Schmidt
Chief Technology Officer
After 47 weeks and 50 blog postings, the sands of time are quickly running out in 2011. Last week’s blog posting summarized key 2011 SEI R&D accomplishments in our four major areas of software engineering and cyber security: innovating
software for competitive advantage, securing the cyber infrastructure,
accelerating assured software delivery and sustainment for the mission,
and advancing disciplined methods for engineering software. This week’s blog posting presents a preview of some upcoming blog postings you’ll read about in these areas during 2012.
Read more...
Dec 19
2011
Acquisition , Acquisition Dynamics , Agile , Architecture Documentation , Architecture Driven Design (ADD) , Binaries , Cyber-physical Systems , Fuzzy Hashing , Handheld Devices , Malware , Measurement & Analysis , Resilience Management Model (RMM) , Safety-Related Requirements , Security-Related Requirements , SEI Research , Software Cost Estimates , Team Software Process (TSP) , Technical Debt
By Douglas C. Schmidt
Chief Technology Officer
A key mission of the SEI is to advance the practice of software engineering and cyber security through research and technology transition
to ensure the development and operation of software-reliant Department
of Defense (DoD) systems with predictable and improved quality,
schedule, and cost. To achieve this mission, the SEI conducts research
and development (R&D) activities involving the DoD, federal
agencies, industry, and academia. One of my initial blog postings
summarized the new and upcoming R&D activities
we had planned for 2011. Now that the year is nearly over, this blog
posting presents some of the many R&D accomplishments we completed
in 2011.
Read more...
Dec 12
2011
By Dennis R. Goldenson
Senior Member of the Technical Staff
Software Engineering Measurement and Analysis
As
with any new initiative or tool requiring significant investment, the
business value of statistically-based predictive models must be
demonstrated before they will see widespread adoption. The SEI Software Engineering Measurement and Analysis (SEMA)
initiative has been leading research to better understand how existing
analytical and statistical methods can be used successfully and how to
determine the value of these methods once they have been applied to the
engineering of large-scale software-reliant systems. As part of this
effort, the SEI hosted a series of workshops that brought together
leaders in the application of measurement and analytical methods in many
areas of software and systems engineering. The workshops help identify
the technical barriers organizations face when they use advanced
measurement and analytical techniques, such as computer modeling and
simulation. This post focuses on the technical characteristics and
quantified results of models used by organizations at the workshops.
Read more...
Dec 5
2011
By Arie Gurfinkel
Senior Member of the Technical Staff
Research, Technology, & System Solutions
The DoD relies heavily on mission- and safety-critical real-time embedded software systems (RTESs), which play a crucial role in controlling systems ranging from airplanes and cars to infusion pumps and microwaves. Since RTESs are often safety-critical, they must undergo an extensive (and often expensive) certification process before deployment. This costly certification process must be repeated after any significant change to the RTES, such as migrating a single-core RTES to a multi-core platform, significant code refactoring, or performance optimizations, to name a few. Our initial approach to reducing re-certification effort—described in a previous blog post—focused on the parts of a system whose behavior was affected by changes using a technique called regression verification, which involves deciding the behavioral equivalence of two, closely related programs. This blog posting describes our latest research in this area, specifically our approach to building regression verification tools and techniques for static analysis of RTESs.
Read more...
Recent Comments