Architecting the Executables with DEVS Unified Process ...

Featured Services

Modeling and Simulation Modeling in software and systems engineering is the art of emulation/simplification of real-world using valid abstractions, formal knowledge representation and implementation as a software program or a graphical artifact. Simulation is the act of execution of the model on a time-base to present dynamical behavior. Modeling and Simulation are independent areas of research and the simulator executes a "contract" (simulation protocol) when it simulates a model. Correctness of this contract and simulator implementation is called Verification. Correctness of model is done through Validation.
Executable Architectures The simulation of an architecture model is an open problem and largely unsolved. We at DUNIP with our research repository and experience are moving towards a product that could provide executable architectures based on Department of Defense Architecture Framework (DODAF) Version 2.0 with MDSE. The foundation is described in our latest book.
Model-Driven Systems Engineering (MDSE) With the theoretical foundation of Discrete Event Systems formalism, a.k.a DEVS, we engineer our M&S-driven systems with strong theoretical systems engineering principles and advanced model engineering technologies employing metamodeling and Domain Specific Languages (DSLs). The DEVS Unified Process (DUNIP) facilitates integration and continuous satisfaction of requirements across the entire systems lifecycle in an agile manner
Netcentric Agent-based Distributed Systems With industry's widespread adoption of Service Oriented Architecture (SOA) and its pursuit of semantic web technologies, we at Dunip bring solutions that allow netcentric modeling and simulation-based engineering for interoperable event-driven architectures and systems. We engineer multi-agent systems and complex dynamical system-of-systems using scientific theories/frameworks based on agent-based computing, organic computing and natural computing.
Publications
PDF Print E-mail

We base our research and technologies on the publications as listed below. While we do not claim ownership of the intellectual property for all of them, there are a few articles that were published through Dunip Tech LLC. All the collaborators and publishing societies retain their respective copyrights.

Books

Reviews

Invited Talks

Presentations

Whitepapers

Chapters

Journals

Conferences

  • C.34. Samira Briongos, Pedro Malagón, José L. Risco-Martín and José M. Moya (2016). Modeling Side-Channel Cache Attacks on AES. In Proceedings of the 2016 Summer Simulation Multiconference (SummerSim'16). [PDF]
  • C.33. J. Manuel Colmenar, J. Ignacio Hidalgo, Juan Lanchares, Oscar Garnica, José L. Risco-Martín, Iván Contreras, Almudena Sánchez and J. Manuel Velasco (2016). Compilable Phenotypes: Speeding-Up the Evaluation of Glucose Models in Grammatical Evolution. In Applications of Evolutionary Computation (19th European Conference, EvoApplications 2016). [DOI]
  • C.32. Ranjita Kumari Dash, José L. Risco-Martín and Ashok Kumar Turuk (2016). Bio-Inspired Thermal Management Techniques for Three Dimensional Heterogeneous Stacked Network-on-Chip Systems. In Proceedings of the 2016 International Conference on Bio-engineering for Smart Technologies (BioSMART 2016). [PDF]
  • C.31. Ranjita Kumari Dash, José L. Risco-Martín, Ashok Kumar Turuk and José L. Ayala (2016). A Thermal Driven Floorplanning Algorithm for Three Dimensional Network-on-Chip Systems. In Proceedings of the 2016 Summer Simulation Multiconference (SummerSim'16). [PDF]
  • C.30. Saurabh Mittal and José L. Risco-Martín (2016). DEVSML Studio: A Framework for Integrating Domain-Specific Languages for Discrete and Continuous Hybrid Systems into DEVS-Based M&S Environment. In Proceedings of the 2016 Summer Simulation Multiconference (SummerSim'16). [PDF]
  • C.29. Josué Pagán, José L. Risco-Martín, José M. Moya and Jose L. Ayala (2016). A Real-Time Framework for a DEVS-based Migraine Prediction Simulator System. In Actas de la XVII Conferencia de la Asociación Española para la Inteligencia Artificial. [PDF]
  • C.28. José L. Risco-Martín, Saurabh Mittal, Juan Carlos Fabero, Pedro Malagón and José L. Ayala (2016). Real-time Hardware/Software Co-Design Using DEVS-based Transparent M&S Framework. In Proceedings of the 2016 Summer Simulation Multiconference (SummerSim'16). [PDF]
  • C.27. Juan Carlos Salinas-Hilburg, Marina Zapater, José L. Risco-Martín, Jose Manuel Moya and Jose L. Ayala (2016). Unsupervised Power Modeling of Co-Allocated Workloads for Energy Efficiency in Data Centers. In DATE'16. [PDF]
  • C.26. Josefa Díaz Álvarez, J. Manuel Colmenar, José L. Risco-Martín and Juan Lanchares (2015). Optimización Multi-objetivo del Consumo de Energía y Tiempo de Ejecución en una Memoria Cache de primer nivel para Sistemas Empotrados. In X Congreso Español sobre Metaheurísticas, Algoritmos Evolutivos y Bioinspirados (MAEB 2015). , pp. 233-240.
  • C.25. ABSys, IM2, Esther Maqueda, Marta Botella and José Antonio Rubio (2015). Ajuste Probabilístico de Modelos de Glucosa obtenidos mediante Gramáticas Evolutivas. In X Congreso Español sobre Metaheurísticas, Algoritmos Evolutivos y Bioinspirados (MAEB 2015). , pp. 233-240.
  • Juan Carlos Salinas, Marina Zapater, José L. Risco-Martín, José Manuel Moya and José L Ayala (2015). Using Grammatical Evolution techniques to model the dynamic power consumption of enterprise servers. In Proceedings of the 9-th International Conference on Complex, Intelligent, and Software Intensive Systems (CISIS 2015).
  • C.24. Patricia Arroba, José L. Risco-Martín, Marina Zapater, José M. Moya, José L. Ayala and Katzalin Olcoz (2014). Evolutionary Power Modeling for High-end Servers in Cloud Data Centers. In In Mathematical Modelling in Engineering & Human Behaviour.
  • C.23. Patricia Arroba, José L. Risco-Martín, Marina Zapater, José M. Moya, José L. Ayala and Katzalin Olcoz (2014). Server Power Modeling for Run-time Energy Optimization of Cloud Computing Facilities. In Sustainability in Energy and Buildings.
  • C.22. Tolk, A., Mittal, S., (2014). A Necessary Paradigm Change to Enable Composable Cloud-based M&S Services, Winter Simulation Conference, Savannah, GA. (invited)
  • C.21. Mittal, S., (2014) Model Engineering in Cyber Complex Adaptive Systems, Workshop on Model Engineering, European Modeling and Simulation Symposium, EMSS'14, Bordeaux, France
  • C.20. Mittal, S., Zeigler, B.P., (2014) Modeling Attention-Switching in Resource-Constrained Complex Intelligent Dynamical Systems (RCIDS), Symposium on Theory of Modeling and Simulation/DEVS, Spring Simulation Multi-Conference, Tampa, FL
  • C.19. Mittal, S., Martin, J.L.R., (2013) Model-driven Systems Engineering in a Netcentric Environment with DEVS Unified Process, invited paper at Winter Simulation Conference, Washington, DC.
  • C.18. Mittal, S., Doyle, M.J., Watz, E., (2013) Detecting Intelligent Behavior with Environment Abstraction in Complex Air Combat Systems, IEEE Systems Conference, Orlando, FL
  • C.17. Mittal, S., Douglass, S.A., (2012) DEVSML 2.0: The Language and the Stack, Symposium on Theory of Modeling and Simulation, Spring Simulation Multiconference, Orlando, FL
  • C.16. Mittal, S., Douglass, S.A., (2011) From DSLs to DEVS Components: Applications to Cognitive M&S, Symposium on Theory of Modeling and Simulation, Spring Simulation Multiconference, Boston, MA.
  • C.15. Mittal, S., Douglass, S.A., (2011) Net-centric ACT-R Based Cognitive Architecture With DEVS Unified Process, Spring Simulation Multiconference, Boston, MA
  • C.14. Douglass, S.A., Mittal, S., (2011) Using Domain Specific Languages to Improve Scale and Integration of Cognitive Models, Behavior Representation in Modeling and Simulation(BRIMS), Utah,
  • C.13. Murano, A., Martin, J.L.R., Besada-Portas, E., Mittal, S., Aranda, J., (2009) DEVS/SOA: Towards DEVS Interoperability in Distributed M&S, IEEE/ACM International Symposium on Distributed and Real-time Applications
  • C.12: Mittal, S., Martin, J.L.R., Zeigler, B.P., (2008) WSDL-Based DEVS Agent for Net-Centric Systems Engineering, International Workshop on Modeling and Applied Simulation, Italy
  • C.11: Martin, J.L.R., Mittal, S., Atienza, D., Hidalgo, J.I., Lanchares, J., (2008) Optimization of Dynamic Data Types in Embedded Systems using DEVS/SOA-based Modeling and Simulation, 3rd International ICST Conference on Scalable Information Systems, Italy
  • C.10: Mittal, S., Zeigler, B.P., (2008) DEVS Unified Process for Web-Centric Development and Testing of System of Systems, Critical Issues in C4I, AFCEA-George Mason University Symposium
  • C.9: Zeigler, B.P., Mittal, S., Hu, X., (2008) Towards a Formal Standard for Interoperability in M&S/Systems of Systems Engineering, Critical Issues in C4I, AFCEA-George Mason University Symposium
  • C.8: Martin, J.L.R., Mittal, S., Zeigler, B.P., Cruz, J.M., (2007) From UML Statecharts to DEVS State Machines using XML, Multi-paradigm Modeling, IEEE/ACM International Conference on Model-Driven Engineering Languages and Systems, Nashville, TN, among Best papers invited to Transactions of SCS
  • C.7: Mittal, S., Martin, J.L.R., Zeigler, B.P., (2007) DEVS-Based Web Services for Net-centric T&E, Summer Computer Simulation Conference, San Diego, CA
  • C.6: Mittal, S., Martin, J.L.R., Zeigler, B.P., (2007) DEVSML: Automating DEVS Execution over SOA Towards Transparent Simulators, Special Session on DEVS Collaborative Execution and Systems Modeling over SOA, DEVS Integrative M&S Symposium DEVS' 07, Spring Simulation Multi-Conference
  • C.5: Martin, J.L.R., Mittal, S., Lopez-Pena, M.A., Cruz, J.M., (2007) A W3C XML Schema for DEVS Scenarios, DEVS Integrative M&S Symposium DEVS'07, Spring Simulation Multi-Conference
  • C.4: Mittal, S., Mitra, A., Gupta, A., Zeigler, B.P., (2006) Strengthening OV-6a Semantics with Rule-Based Meta-models in DEVS/DoDAF Based Life-cycle Architecture Development, IEEE-Information Reuse and Integration (IRI06) Conference, Special section on DoDAF, Hawaii
  • C.3: Zeigler, B.P., Mittal, S., (2005) Enhancing DoDAF with a DEVS-based System Lifecycle Development Process, In Proceedings of IEEE International Conference on Systems, Man and Cybernetics, SMC05, Hawaii
  • C.2: Mittal, S., Zeigler, B.P., (2005) Dynamic Simulation Control with Queue Visualization, Summer Computer Simulation Conference SCSC'05, Philadelphia, PA
  • C.1: Mittal, S., Wu, W., Zeigler, B.P., (2004) A Multiconstraint-Based Real-time Routing Scheme using Simulation Methodology, Summer Computer Simulation Conference, San Jose, CA