Modeling and specifying requirements for cyber-physical systems

IEEE Latin America Transactions

Volumn 11, Issue 1, 2013, Pages 625-632

  Ordinez, Leo ^a   Alimenti, Omar ^a   Rinland, Emilia ^a   Gomez, Marisa ^a   Marchetti, Jorge ^b  

^a UNIVERSIDAD NACIONAL DEL SUR   (Argentina)

^b NORWEGIAN UNIVERSITY OF LIFE SCIENCES   (Norway)

Author keywords

biodigester; biogas; cyber physical system; Requirements modeling; requirements specification

Indexed keywords

BIODIGESTERS; COMPUTING SYSTEM; CYBER PHYSICAL SYSTEMS (CPSS); EXTERNAL OBSERVER; MULTI-DISCIPLINARY TEAMS; REQUIREMENTS MODELING; REQUIREMENTS SPECIFICATIONS; STRONG INTERACTION;

ANAEROBIC DIGESTION; BIOGAS; EMBEDDED SYSTEMS; THREE DIMENSIONAL COMPUTER GRAPHICS;

MODELS;

EID: 84876792288     PISSN: 15480992     EISSN: None     Source Type: Journal    
DOI: 10.1109/TLA.2013.6502874     Document Type: Article

References (23)

1. "Fundacion barrera patagonica," www.funbapa.org.ar.
2. T. Amani, M. Nosrati, and T. R. Sreekrishnan, "Anaerobic digestion from the viewpoint of microbiological, chemical, and operational aspects a review," Environmental Reviews, vol. 18, pp. 255-278, 2010.
3. E. A. Lee and S. A. Seshia, Introduction to Embedded Systems, A Cyber-Physical Systems Approach. LeeSeshia.org, 2011, http://leeseshia.org.
4. B. Krogh, E. Lee, I. Lee, A. Mok, R. Rajkumar, L. Sha, A. Vincentelli, K. Shin, J. Stankovic, J. Sztipanovits, W. Wolf, and W. Zhao, "Cyberphysical systems-executive summary," CPS Steering Group, Tech. Rep., 2008.
5. R. Z. Xiguang Chen, Rowena T. Romano, "Anaerobic digestion of food wastes for biogas production," Int J Agric and Biol Eng, vol. 3, no. 4, pp. 51-62, 2010.
6. M. H. Gerardi, The microbiology of anaerobic digesters. New Jersey, USA: John Wiley and Sons, 2003.
7. Y. Zheng, Z. Pan, R. Zhang, H. M. El-Mashad, J. Pan, and B. M. Jenkins, "Anaerobic digestion of saline creeping wild ryegrass for biogas production and pretreatment of particleboard material." Bioresource Technology, vol. 100, no. 4, pp. 1582-1588, 2009. (Pubitemid 50316053)
8. D. L. Parnas and J. Madey, "Functional documents for computer systems," Sci. Comput. Program., vol. 25, pp. 41-61, October 1995.
9. R. Bharadwaj and C. Heitmeyer, "Developing high assurance avionics systems with the scr requirements method," in Digital Avionics systems Conference, 2000. Proceedings. DASC. The 19th, vol. 1, 2000, pp. 1D1/1-1D1/8 vol.1.
10. G. Helmer, "Safety checklist for four-variable requirements methods," Iowa State University, Department of Computer Science, Tech. Rep., 1998.
11. S. Miller and A. Tribble, "Extending the four-variable model to bridge the system-software gap," in Digital Avionics Systems, 2001. DASC. 20th Conference, vol. 1, oct 2001, pp. 4E5/1-4E5/11 vol.1.
12. D. K. Peters and D. L. Parnas, "Requirements-based monitors for realtime systems," IEEE Trans. Softw. Eng., vol. 28, pp. 146-158, February 2002.
13. E. A. Lee, "Cyber physical systems: Design challenges," in Proceedings of the 2008 11th IEEE Symposium on Object Oriented Real-Time Distributed Computing. Washington, DC, USA: IEEE Computer Society, 2008, pp. 363-369.
14. L. Sha, S. Gopalakrishnan, X. Liu, and Q. Wang, "Cyber-physical systems: A new frontier," in Proceedings of the 2008 IEEE International Conference on Sensor Networks, Ubiquitous, and Trustworthy Computing (sutc 2008). Washington, DC, USA: IEEE Computer Society, 2008, pp. 1-9.
15. L. Ordinez, D. Donari, R. M. Santos, and J. Orozco, "From user requirements to tasks descriptions in real-time systems," in Proceedings of WER'10-Workshop em Engenharia de Requisitos, 2010.
16. L. Ordinez, O. Alimenti, and L. Calles, "Eliciting requirements in small cyber-physical systems," in Proceedings of CLEI'11-XXXVII Conferencia Latinoamericana de Informatica, 2011.
17. G. C. Buttazzo, Hard Real-time Computing Systems: Predictable Scheduling Algorithms And Applications (Real-Time Systems Series). Santa Clara, CA, USA: Springer-Verlag TELOS, 2004.
18. P. Martí, C. Lin, S. A. Brandt, M. Velasco, J. Ayza, and J. M. Fuertes, "Asignación dinámica de recursos en sistemas de control de tiempo real," Revista Iberoamericana de Automática e Informática Industrial (RIAII), vol. 3, no. 2, pp. 50-60, 2006.
19. G. Lyberatos and I. V. Skiadas, "Modelling of anaerobic digestion-a review," Global Nest Int J, vol. 1, no. 2, pp. 63-76, 1999.
20. B. Nuseibeh and S. Easterbrook, "Requirements engineering: a roadmap," in ICSE '00: Proceedings of the Conference on The Future of Software Engineering. New York, NY, USA: ACM, 2000.
21. H. Naz and M. N. Khokhar, "Critical requirements engineering issues and their solution," in Proceedings of the 2009 International Conference on Computer Modeling and Simulation. Washington, DC, USA: IEEE Computer Society, 2009, pp. 218-222.
22. M.V. Linhares, R.S. de Oliveira, J.-M. Farines, F. Vernadat, "Introducing the modeling and verification process in SysML," Emerging Technologies and Factory Automation, 2007. ETFA. IEEE Conference on , vol., no., pp.344-351, 25-28 Sept. 2007
23. F. Valles-Barajas, "A Formal Model for the Requirements Diagrams of SysML," Latin America Transactions, IEEE (Revista IEEE America Latina) , vol.8, no.3, pp.259-268, June 2010