Mostrando 2 resultados de: 2
Filtros aplicados
Subtipo de publicación
Article(2)
Publisher
ACM Transactions on Design Automation of Electronic Systems(1)
ACM Transactions on Embedded Computing Systems(1)
Área de conocimiento
Simulación por computadora(2)
Objetivos de Desarrollo Sostenible
ODS 17: Alianzas para lograr los objetivos(2)
ODS 4: Educación de calidad(2)
ODS 9: Industria, innovación e infraestructura(2)
Origen
scopus(2)
ForSyDe-Atom: Taming Complexity in Cyber Physical System Design with Layers
ArticleAbstract: We present ForSyDe-Atom, a formal framework intended as an entry point for disciplined design of comPalabras claves:cyber-physical systems, Design methodology, Modeling, models of computation, Simulation, Synthesis, system design language, ValidationAutores:Ahlander A., Ingo Sander, Medeiros J.E.G.D., Söderquist I., Sundstrom T., Ungureanu G.Fuentes:scopusModeling and simulation of dynamic applications using scenario-aware dataflow
ArticleAbstract: The tradeoff between analyzability and expressiveness is a key factor when choosing a suitable datafPalabras claves:Modeling, Scenario-aware dataflow (SADF), SimulationAutores:Bonna R., Ingo Sander, Loubach D.S., Ungureanu G.Fuentes:scopus