This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Comodeling: From Requirements to an Integrated Software/Hardware Model
April 2011 (vol. 44 no. 4)
pp. 62-70
Toby Myers, Griffith University
R. Geoff Dromey, Griffith University
Peter Fritzson, Linköping University
Comodeling lets developers systematically investigate and compare different software and hardware partitions to meet a system's constraints earlier in the design process, when integration problems are easier and cheaper to resolve.

1. T. Myers, P. Fritzon, and R.G. Dromey, "Seamlessly Integrating Software and Hardware Modeling for Large-Scale Systems," Proc. 2nd Int'l Workshop Equation-Based Object-Oriented Languages and Tools, Linköping Univ. Electronic Press, 2008, pp. 5-15; www.ep.liu.se/ecp/029ecp08029.pdf.
2. R.G. Dromey, "Engineering Large-Scale Systems—Mitigating the Pivotal Risks," unpublished paper, 2008; www.behaviorengineering.orgindex.php?option=com_content&task=view&id=13&Itemid=29 .
3. P. Fritzson, Principles of Object-Oriented Modeling and Simulation with Modelica 2.1, Wiley/IEEE Press, 2004.
4. D. Powell, "Requirements Evaluation Using Behavior Trees: Findings from Industry," presentation, 18th Australian Software Eng. Conf. (ASWEC 07), 2007; www.behaviorengineering.org/docsASWEC07_For_Distribution.pdf .
5. I. Sommerville and P. Sawyer, Requirements Engineering: A Good Practice Guide, John Wiley & Sons, 1977.
6. P. Schwarz, "Simulation of Systems with Dynamically Varying Model Structure," Mathematics and Computers in Simulation, Dec. 2008, pp. 850-863.
7. E.A. Lee and H. Zheng, "Operational Semantics of Hybrid Systems," Proc. 8th Int'l Workshop Hybrid Systems: Computation and Control (HSCC 05), LNCS 3414, Springer, 2005, pp. 25-53.
8. J. Eker et al., "Taming Heterogeneity—The Ptolemy Approach," Proc. IEEE, Jan. 2003, pp. 127-144.
9. G. Zauner, D. Leitner, and F. Breitenecker, "Modeling Structural-Dynamics Systems in MODELICA/Dymola, MODELICA/Mosilab and AnyLogic," Proc. 1st Int'l Workshop Equation-Based Object-Oriented Languages and Tools, Linköping Univ. Electronic Press, 2007, pp. 99-110; www.ep.liu.se/ecp/024ecp07024.pdf.
10. T.B. Ismail, M. Abid, and A. Jerraya, "COSMOS: A CoDesign Approach for Communicating Systems," Proc. 3rd Int'l Workshop Hardware/Software Co-design (CODES 94), IEEE CS Press, 1994, pp. 17-24.
11. F. Balarin et al., Hardware-Software Co-Design of Embedded Systems: The POLIS Approach, Springer, 1997.
1. W. Wolf, "A Decade of Software/Hardware Codesign," Computer, Apr. 2003, pp. 38-43.
2. D. Maliniak, "Software/Hardware Co-Design Comes of Age," Electronic Design,10 July 2008; http://electronicdesign.com/ArticlesIndex.cfm?ArticleID=19301 .
1. R.J. Colvin and I.J. Hayes, "A Semantics for Behavior Trees Using CSP with Specification Commands," to appear in Science of Computer Programming, 2011; doi:10.1016/j.scico.2010.11.007.
2. K. Winter, R. Colvin, and R.G. Dromey, "Dynamic Relational Behaviour for Large-Scale Systems," Proc. 2009 Australian Software Eng. Conf. (ASWEC 09), IEEE CS Press, 2009, pp. 173-182.

Index Terms:
Systems engineering, Hardware/software codesign, Comodeling, Behavior engineering, Modelica, Requirements engineering, Hybrid simulation, Behavior trees
Citation:
Toby Myers, R. Geoff Dromey, Peter Fritzson, "Comodeling: From Requirements to an Integrated Software/Hardware Model," Computer, vol. 44, no. 4, pp. 62-70, April 2011, doi:10.1109/MC.2010.270
Usage of this product signifies your acceptance of the Terms of Use.