Zobrazeno 1 - 10
of 12
pro vyhledávání: '"Zsolt Lattmann"'
Autor:
Janos Sztipanovits, Zsolt Lattmann, Ethan K. Jackson, Ted Bapty, Sandeep Neema, Xenofon Koutsoukos
Publikováno v:
Proceedings of the IEEE. 106:1501-1526
Design methods and tools evolved to support the principle of "separation of concerns" in order to manage engineering complexity. Accordingly, most engineering tool suites are vertically integrated but have limited support for integration across disci
Publikováno v:
EasyChair Preprints.
Addressing cross-cutting concerns such as traceability, change management, and trade-off studies is complex in multi-disciplinary engineering. These aspects can only be addressed efficiently if organizations take a global level perspective on data an
Model- and component-based design methods have resulted in dramatic increase of design productivity in several narrowly focused homogeneous domains, such as signal processing, control, and aspects of electronic design. A similar impact is expected on
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f3ce10663c6a799fd2c8a4639c2ad5dd
https://doi.org/10.1016/b978-0-12-803773-7.00002-4
https://doi.org/10.1016/b978-0-12-803773-7.00002-4
Publikováno v:
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications ISBN: 9783319471686
ISoLA (2)
ISoLA (2)
The ever increasing popularity of model-based system- and software engineering has resulted in more and more systems—and more and more complex systems—being modeled. Hence, the problem of managing the complexity of the models themselves has gaine
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0ac7bb654e3c3d0626e08cc9860caa7f
https://doi.org/10.1007/978-3-319-47169-3_6
https://doi.org/10.1007/978-3-319-47169-3_6
Publikováno v:
Cyber-Physical Systems: From Theory to Practice
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c1c86998381f9c1047f85cad55397a07
https://doi.org/10.1201/b19290-4
https://doi.org/10.1201/b19290-4
Autor:
Zsolt Lattmann, Ted Bapty, Patrik Meijer, Sandeep Neema, James Klingler, Gabor Karsai, Jason Scott
Publikováno v:
RSP
System design typically involves the specification of requirements and evaluation of the design with respect to those requirements. The requirements describe and quantify the desired physical and software properties of the system. Evaluating requirem
Publikováno v:
SoutheastCon 2015.
Contemporary engineering information system designs are generally interdisciplinary and exceedingly complex. As a result, managing and understanding these systems collaboratively poses unnecessary challenges to end users. In this research, we studied
Autor:
Tomonori Honda, Eric Saund, Johan de Kleer, Bhaskar Saha, Zsolt Lattmann, Daniel G. Bobrow, Tolga Kurtoglu, Bill Janssen, Ion Matei
Publikováno v:
Volume 7: 2nd Biennial International Conference on Dynamics for Design; 26th International Conference on Design Theory and Methodology.
To minimize the design cost of a complex system and maximize performance, a design team ideally must be able to quantify reliability and mitigate risk at the earliest phases of the design process, where 80% of the cost is committed. This paper demons
Autor:
Gabor Karsai, Sandeep Neema, Janos Sztipanovits, Himanshu Neema, Jesse Gohl, Zsolt Lattmann, Ted Bapty, Chandrasekar Sureshkumar, Hubertus Tummescheit, John Batteh
Publikováno v:
Linköping Electronic Conference Proceedings.
Virtual evaluation of complex Cyber-Physical Systems (CPS) [1] with a number of tightly integrated domains such as physical, mechanical, electrical, thermal, cyber, etc. demand the use of heterogeneous simulation environments. Our previous effort wit
Autor:
Peter Fritzson, Adrian Pop, Ted Bapty, Sandeep Neema, Bill Janssen, Johan de Kleer, Matthew Klenk, Bhaskar Saha, Daniel G. Bobrow, Zsolt Lattmann, Xenofon Koutsoukos, Tolga Kurtoglu
Publikováno v:
Linköping Electronic Conference Proceedings.
Modelica models are typically used for simulation to investigate properties of a possible system designs. This is often done manually or combined with optimization to select the best design parameters. It is desirable to have systematic and partly au