Agrawal, A., A. Bakshi, J. Davis, B. Eames, A. Ledeczi, S. Mohanty, V. Mathur, S. Neema, G. Nordstrom, V. Prasanna, et al.,
"MILAN: A Model Based Integrated Simulation Framework for Design of Embedded Systems",
Workshop on Languages, Compilers, and Tools for Embedded Systems (LCTES), Snowbird, UT, June, 2001.
Download: Agrawal_A_6_0_2001_MILAN__A_M.pdf (121.36 KB)
Davis, J., T. Bapty, G. Karsai, D. Malloy, J. Sztipanovits, and T. Tibbals,
"Model Based Data Validation",
Proceedings of the Joint Technology Showcase on Integrated Monitoring, Diagnostics, and Failure Prevention, Mobile, AL, April, 1996.
Bapty, T., J. Davis, M. Eby, and J. Scott,
"Model Based Development in the FACE Ecosystem",
FACE Consortium Keynote Address, Linthicum, MD, Future Airborne Capability Environment Consortium - The Open Group, 02/2012.
Ledeczi, A., J. Davis, S. Neema, and A. Agrawal,
"Modeling Methodology for Integrated Simulation of Embedded Systems",
ACM Transactions on Modeling and Computer Simulation, vol. 13, pp. 82--103, January, 2003.
Download: Ledeczi_A_0_0_2003_Modeling_M.pdf (231.04 KB)
Davis, J., J. Scott, J. Sztipanovits, and M. Martinez,
"Multi-Domain Surety Modeling and Analysis for High Assurance Systems",
Proceedings of the Engineering of Computer Based Systems, Nashville, TN, pp. 254--260, March, 1999.
Download: Davis_J_3_0_1999_Multi_Doma.pdf (73.25 KB)