Filters








759 Hits in 8.7 sec

Multilanguage programming on the JVM

Franco Gasperoni, Gary Dismukes
2000 ACM SIGAda Ada Letters  
In this article we explain the features that have made Ada the language of choice for software-critical applications and how these features complement the Java programming language while increasing the  ...  The Ada 95 programming language is a good match for the Java platform from the standpoint of its portability, security, reliability, and rich feature set.  ...  Thanks The authors would like to thank Ben Brosgol of Ada Core Technologies for helpful discussions, comments and suggestions regarding this paper.  ... 
doi:10.1145/369264.369265 fatcat:544hqrhxlfhndpnrsbvsr44hke

Software Engineering for Intelligent and Autonomous Systems: Report from the GI Dagstuhl Seminar 18343 [article]

Simos Gerasimou, Thomas Vogel, Ada Diaconescu
2019 arXiv   pre-print
of security, safety, loss of comfort or revenue.  ...  These situations can cause deviation from the desired system behaviour and require dynamic adaptation of the system behaviour, parameters or architecture.  ...  that are safety-critical.  ... 
arXiv:1904.01518v2 fatcat:inddhdemafdyljubjjq7fv6xvu

Open-DO: Open Framework for Critical Systems

Jose F Ruiz, Cyrille Comar
2009 Electronic Communications of the EASST  
Critical systems development pushes software quality to the extreme.  ...  The Open-DO initiative aims at providing a framework federating open-source tools for safety-critical systems.  ...  [top] for Model Based Development, and OPEES (Open Platform for the Engineering of Embedded Systems), which is a followup of TOPCASED focused on building an open-source ecosystem.  ... 
doi:10.14279/tuj.eceasst.20.257 dblp:journals/eceasst/RuizC09 fatcat:ybzhqrrvnva5liwujfcdksjv3i

D8.2 Dissemination, Communication and Collaboration Plan and Activities V1

Ada Pellumbaj, Ilias Trochidis
2021 Zenodo  
, tools, channels and evaluation methods identified as most suitable for implementing the strategy, within the framework of "WP8 Dissemination, Exploitation and Standardization".  ...  and needs of the stakeholder groups.  ...  from legacy policy development models to emerging AI-based policy making.  ... 
doi:10.5281/zenodo.7009680 fatcat:knm6p3eiobhc7o46hi2f7k4xau

The Transition of Samsung Electronics through Its M&A with Harman International

Jung hyun Kim, Monica Young-Shin Chun, Duong Thi Hong Nhung, Jeonghwan Lee
2019 Journal of Open Innovation: Technology, Market and Complexity  
Despite its century-old history based mostly in the art of mechanics, increased development of technology and heightened awareness of environmental issues has pushed traditional automobile manufacturers  ...  In this light, the recent acquisition of Harman Incorporated for eight billion dollars by Samsung Electronics in 2016 is a significant event that signals great change.  ...  The team of engineers from Harman and Samsung has created a new era of connected safety with advanced driver-assistance systems.  ... 
doi:10.3390/joitmc5030051 fatcat:czcpb44nq5b2dngmt4bedrkbai

Certifiably safe software-dependent systems: challenges and directions

John Hatcliff, Alan Wassyng, Tim Kelly, Cyrille Comar, Paul Jones
2014 Proceedings of the on Future of Software Engineering - FOSE 2014  
This paper considers the future of software engineering as needed to support development and certification of safety-critical softwaredependent systems.  ...  The amount and impact of software-dependence in critical systems impinging on daily life is increasing rapidly.  ...  ACKNOWLEDGEMENTS The authors wish to thank Tom Maibaum (McMaster Centre for Software Certification, McMaster University) for his comments on earlier versions of this paper.  ... 
doi:10.1145/2593882.2593895 dblp:conf/icse/HatcliffWKCJ14 fatcat:cclqub6ianezlgyt4o7e4wp4ja

Engineering CAR-NK cells to secrete IL15 sustains their anti-AML functionality, but is associated with systemic toxicities [article]

Ilias Christodoulou, Win Jin Ho, Andrew Marple, Jonas W Ravich, Ada Tam, Ruyan Rahnama, Adam Fearnow, Cambrynne Rietberg, Sean Yanik, Elena E. Solomou, Ravi Varadhan, Michael A Koldobskiy (+1 others)
2021 bioRxiv   pre-print
The prognosis of patients with recurrent/refractory acute myelogenous leukemia (AML) remains poor and cell-based immunotherapies hold promise to improve outcomes.  ...  Conclusion: Transgenic expression of CD123-CARs and sIL15 enabled NK cells to function in the setting of chronic antigen exposure but was associated with systemic toxicities.  ...  We also thank the Johns Hopkins University Genetic Resources Core Facility for DNA sequencing, the Experimental and Computational Genomics Core for RNAseq data generation, and the Bloomberg-Kimmel Institute  ... 
doi:10.1101/2021.09.23.461509 fatcat:norspjbzw5dytjwmpdusdfaaqu

The impact of software engineering research on modern progamming languages

Barbara G. Ryder, Mary Lou Soffa, Margaret Burnett
2005 ACM Transactions on Software Engineering and Methodology  
The aim of the project is to provide a scholarly study of the impact that software engineering research-both academic and industrial-has had upon practice.  ...  The principal output of the project is a series of individual papers covering the impact upon practice of research in several selected major areas of software engineering.  ...  We also wish to thank the other members of the IMPACT Project team for their support of our research. Finally, we thank the anonymous reviewers for their helpful comments.  ... 
doi:10.1145/1101815.1101818 fatcat:es7r5vkwbngjflyk37ekwzbdwi

Formal Versus Agile: Survival of the Fittest

Sue Black, Paul P. Boca, Jonathan P. Bowen, Jason Gorman, Mike Hinchey
2009 Computer  
_v1.0.pdf), 24, 25 and by running our tests through practices such as adversarial pair programming and mutation testing, agile methods can lead to software of a high-enough integrity for the majority  ...  We also see no impediments to complementing agile practices with orthogonal techniques like Design by Contract, guided inspections, symbolic execution, static analysis, model checking, and even theorem  ...  Mike Hinchey is scientific director of Lero-the Irish Software Engineering Research Centre-and a professor of software engineering at the University of Limerick, Ireland.  ... 
doi:10.1109/mc.2009.284 fatcat:4hqwcatqkjdwpkykgbolkz6cwy

Cyber-Physical Systems Enabled Transport Networks in Smart Cities: Challenges and Enabling Technologies of the New Mobility Era

Amit Pundir, Sanjeev Singh, Manish Shailani, Anil Bafila, Geetika J. Saxena
2022 IEEE Access  
Date of publication xxxx 00, 0000, date of current version xxxx 00, 0000.  ...  ACKNOWLEDGMENT The authors would like to thank the team of Project Samarth, an initiative of the Ministry of Education, India, at the University of Delhi South Campus (UDSC), for their technical support  ...  The synergy achieved due to this integration will significantly transform the way people interact with engineered systems in the future.  ... 
doi:10.1109/access.2022.3147323 fatcat:524cblo24fe37ejdu7axg2w7ci

Mechatronics, robotics and components for automation and control IFAC milestone report

S. Boverie, Dongil Dan Cho, H. Hashimoto, M. Tomizuka, Wang Wei, D. Zühlke
2008 IFAC Proceedings Volumes  
This paper presents a general overview of the technological fields of mechatronic, robotic, components for automation and control.  ...  The paper addresses their current key problems and the recent major accomplishments. At last the most promising forecasted development and applications are considered.  ...  last but not least, the combustion engines, with the development of: the common rail injection system for Diesel engines and also the injection systems for gasoline engines.  ... 
doi:10.3182/20080706-5-kr-1001.01831 fatcat:77puzlbvwfdmtdtr2biysrkjtm

Using model-driven engineering to complement software product line engineering in developing software defined radio components and applications

Bruce Trask, Dominick Paniscotti, Angel Roman, Vikram Bhanot
2006 Companion to the 21st ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications - OOPSLA '06  
, safety-critical, secure, networked, component based and fault-tolerant.  ...  It is our experience that one big benefit to the software development industry is the combination of the Software Product Lines and Model Driven Engineering technologies.  ...  We feel this is the exact point of synergy between MDE and Product Line Engineering.  ... 
doi:10.1145/1176617.1176733 dblp:conf/oopsla/TraskPRB06 fatcat:toe2fcuw4vazvherdorqaowxmu

An Introduction to Software Engineering and Fault Tolerance [article]

Patrizio Pelliccione, Henry Muccini, Nicolas Guelfi, Alexander Romanovsky
2010 arXiv   pre-print
They cover a wide range of topics focusing on fault tolerance during the different phases of the software development, software engineering techniques for verification and validation of fault tolerance  ...  : Languages and Tools for engineering fault tolerant systems.  ...  Acknowledgments The book editors wish to thank Andrea Bondavalli and Rogerio de Lemos for their constructive comments on this introductory chapter and Alfredo Capozucca and Joerg Kienzle for their comments  ... 
arXiv:1011.1551v1 fatcat:7wksbyoo4jbpjot67j4putilvu

Assurance Cases as Foundation Stone for Auditing AI-enabled and Autonomous Systems: Workshop Results and Political Recommendations for Action from the ExamAI Project [article]

Rasmus Adler, Michael Klaes
2022 arXiv   pre-print
In particular, software based on machine learning (ML) are not considered for the realization of safety-relevant behavior.  ...  This limits the introduction of suitable safety concepts for autonomous mobile robots and other autonomous machinery, which commonly depend on ML-based functions.  ...  Acknowledgments Parts of this work have been funded by the Observatory for Artificial Intelligence in Work and Society (KIO) of the Denkfabrik Digitale Arbeitsgesellschaft in the project "KI Testing &  ... 
arXiv:2208.08198v1 fatcat:dlgcnsxcejac3hfyo4sscm7gnq

Fatal intersection crashes in Norway: Patterns in contributing factors and data collection challenges

Mikael Ljung Aust, Helen Fagerlind, Fridulv Sagberg
2012 Accident Analysis and Prevention  
A study of an FOT evaluated ADAS bundle consisting of FCW and ACC was carried out to empirically test whether existing conceptual models for calculating the combined effect of multiple safety functions  ...  The fourth issue was whether sufficiently critical driving events that result in realistic driver responses can be created and repeated in driving simulator based ADAS evaluation.  ...  An ADAS typically consist of one or more environment sensors mounted on the vehicle, e.g. radars and/or cameras, a software that based on the sensor input determines what actions the ADAS should take,  ... 
doi:10.1016/j.aap.2011.11.001 pmid:22269570 fatcat:7bv2aceobzbgtbk64rrj7xzcmu
« Previous Showing results 1 — 15 out of 759 results