Skip to main content

Application of an Extended SysML Requirements Diagram to Model Real-Time Control Systems

  • Conference paper
Computational Science and Its Applications – ICCSA 2013 (ICCSA 2013)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 7973))

Included in the following conference series:

Abstract

Most techniques for modeling requirements present many problems and limitations, including modeling requirements at a single level of abstraction, and are specific to model functional requirements. The objective of this article is to perform a study on modeling requirements of Real-Time Systems through an extension of the SysML Requirements Diagram focusing on the traceability of non-functional and functional requirements. The proposed approach has demonstrated to be effective for representing software requirements of real-time systems at multiple levels of abstraction and classification. The proposed metamodel represents concisely the traceability of requirements in a high abstraction level.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Minor, O., Armarego, J.: Requirements Engineering: A Close Look at Industry Needs and Model Curricula. Australian Journal of Information Systems 13(1), 192–208 (2005)

    Google Scholar 

  2. Parviainen, P., Tihinen, M., van Solingen, R.: Requirements Engineering: Dealing with the Complexity of Sociotechnical Systems Development. Idea Group Inc. (2005)

    Google Scholar 

  3. Brooks, F.P.: No Silver Bullet: Essence and Accidents of Software Engineering. Computer 20(4), 10–19 (1987)

    Article  MathSciNet  Google Scholar 

  4. Martin, G.: UML for Embedded Systems Specification and Design: Motivation and Overview. In: Design, Automation and Test in Europe Conference and Exhibition, pp. 773–775 (2002)

    Google Scholar 

  5. Cote, I., Heisel, M.: A UML Profile and Tool Support for Evolutionary Requirements Engineering. In: 15th Software Maintenance and Reengineering, pp. 161–179 (2011)

    Google Scholar 

  6. Soares, M.S., Julia, S., Vrancken, J.: Real-time Scheduling of Batch Systems using Petri Nets and Linear Logic. Journal of Systems and Software 81(11), 1983–1996 (2008)

    Article  Google Scholar 

  7. Silvestre, E.A., Soares, M.S.: Multiple View Architecture Model for Distributed Real-Time Systems Using MARTE. In: 20th International Conference on Information Systems Development, pp. 98–113 (2011)

    Google Scholar 

  8. OMG: UML Profile for Schedulability, Performance, and Time, Version 1.1. Technical report, OMG (2005)

    Google Scholar 

  9. OMG: UML Profile for MARTE: Modeling and Analysis of Real-time Embedded Systems Version, 1.1. Technical report, OMG (2011)

    Google Scholar 

  10. OMG, S.: Systems Modeling Language (SysML) Specification - version 1.1. (2010)

    Google Scholar 

  11. Soares, M.S., Vrancken, J.: Requirements Specification and Modeling through SysML. In: International Conference on Systems, Man and Cybernetics, pp. 1735–1740 (2007)

    Google Scholar 

  12. Soares, M.S., Vrancken, J.: Model-Driven User Requirements Specification Using SysML. Journal of Software 3, 57–69 (2008)

    Article  Google Scholar 

  13. IEEE: IEEE Recommended Practice for Software Requirements Specifications (1998)

    Google Scholar 

  14. Laplante, P.A.: Real-Time Systems Design and Analysis, 3rd edn. John Wiley & Sons, Piscataway (2004)

    Book  Google Scholar 

  15. Klein, L.A.: Traffic Detector Handbook. 3 edn. Prentice Hall, USA (Department of Transportation - Federal Highway Administration)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2013 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Ribeiro, F.G.C., Misra, S., Soares, M.S. (2013). Application of an Extended SysML Requirements Diagram to Model Real-Time Control Systems. In: Murgante, B., et al. Computational Science and Its Applications – ICCSA 2013. ICCSA 2013. Lecture Notes in Computer Science, vol 7973. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-39646-5_6

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-39646-5_6

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-39645-8

  • Online ISBN: 978-3-642-39646-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics