Between Dec 19, 2024 and Jan 2, 2025, datasets can be submitted to DRUM but will not be processed until after the break. Staff will not be available to answer email during this period, and will not be able to provide DOIs until after Jan 2. If you are in need of a DOI during this period, consider Dryad or OpenICPSR. Submission responses to the UDC may also be delayed during this time.

Browsing by Subject "Software Development"

Now showing 1 - 2 of 2
  • Thumbnail Image
    Item
    Evaluation of the Benefits and Limitations of Verification Activities in Developing a Critical System using Model-Based Development
    (2018-09) Lee, Young Sub
    In developing safety-critical cyber-physical systems, model-based development (MBD) promotes design and verification activities at the model-level, which is an abstract description of the behavior of the software to be implemented. MBD tool suites such as MATLAB's Simulink and Stateflow implements the principles of MBD so that system developers can easily incorporate various verification and validation activities such as modeling, simulation, testing, and even formal verification. Among all activities involved in MBD, simulation and model-level testing are widely adopted to identify bugs in the early phase of the model development. Formal verification of the design model, on the other hand, is often considered difficult or impractical so it is less widely adopted in the practice. This report investigates the practicality, limitations, and benefits of adopting various model-based V\&V activities in developing a safety-critical cyber-physical system. We have developed a rocket-launch control system in cooperation with a local rocketry club following MBD principles. More specifically, we developed a Simulink model, performed model-level simulation, testing, and model-level property verification of three safety properties. In each phase of the development, we demonstrate that each activity can be easily incorporated into the development process. The verification result of the Simulink Design Verifier shows that our safety properties of concern hold, with which we could gain confidence in the correctness of the model. This report will help people who design a critical system using MBD to chose the verification techniques that they need.
  • Thumbnail Image
    Item
    Multicultural Understanding: Leveraging the Advantages of Diversity in Scrum Adoption
    (2018) Jukich, Barbara L.
    This paper introduces a positive view of multicultural differences in a U.S. IT software development team with a discussion around the intersection of Scrum values with the cross-cultural dimensions of power distance, uncertainty avoidance, and individualism/collectivism. The comparative analysis between cultural dimensions, Scrum values, and their relation to group development theory uncovered key advantages of cultural diversity; group effectiveness and performance, and creativity and innovation. These advantages present opportunities to enhance the forming and functioning phases of group development as teams adopt Scrum values.