Mostrando 4 resultados de: 4
Filtros aplicados
Publisher
ACM Transactions on Embedded Computing Systems(1)
IEEE Access(1)
Microprocessors and Microsystems(1)
Proceedings of the 2019 Forum on Specification and Design Languages, FDL 2019(1)
Área temáticas
Ciencias de la computación(3)
Física aplicada(2)
Ingeniería y operaciones afines(1)
Instrumentos de precisión y otros dispositivos(1)
Métodos informáticos especiales(1)
Classification and Mapping of Model Elements for Designing Runtime Reconfigurable Systems
ArticleAbstract: Embedded systems are ubiquitous and control many critical functions in society. A fairly new type ofPalabras claves:domain ontology, Embedded Systems, mapping rules, models of computation (MoC), runtime reconfigurationAutores:Bonna R., Ingo Sander, Loubach D.S., Söderquist I., Ungureanu G.Fuentes:scopusFormal 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:scopusSAFEPOWER project: Architecture for safe and power-efficient mixed-criticality systems
ArticleAbstract: With the ever increasing industrial demand for bigger, faster and more efficient systems, a growingPalabras claves:Autores:Azkarate-Askasua M., Coronel J., Crespo A., Davidmann S., Diaz Garcia J.C., Fakih M., Grüttner K., Ingo Sander, Lenz A., Maleki A., Mohammadat M.T., Öberg J., Obermaisser R., Pérez-Cerrolaza J., Romero N.G., Schreiner S., Seyyedi R., Söderquist I.Fuentes:scopus