Mostrando 2 resultados de: 2
Filtros aplicados
Publisher
ACM Transactions on Embedded Computing Systems(1)
Proceedings of the 2019 Forum on Specification and Design Languages, FDL 2019(1)
Área temáticas
Física aplicada(2)
Ciencias de la computación(1)
Métodos informáticos especiales(1)
Otras ramas de la ingeniería(1)
Sistemas(1)
Formal design, co-simulation and validation of a radar signal processing system
Conference ObjectAbstract: With the ever increasing complexity in safety-critical and performance-demanding application domainsPalabras claves:Design methodology, Model checking, Radar, Simulation, Synthesis, system design languageAutores:Ahlander A., Ingo Sander, Söderquist I., Sundstrom T., Ungureanu G.Fuentes:scopusForSyDe-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:scopus