Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Learning-Based testing for autonomous systems using spatial and temporal requirements
KTH, School of Electrical Engineering and Computer Science (EECS), Theoretical Computer Science, TCS.
KTH, School of Electrical Engineering and Computer Science (EECS), Theoretical Computer Science, TCS.ORCID iD: 0000-0002-9706-5008
2018 (English)In: MASES 2018 - Proceedings of the 1st International Workshop on Machine Learning and Software Engineering in Symbiosis, co-located with ASE 2018, Association for Computing Machinery, Inc , 2018, p. 6-15Conference paper, Published paper (Refereed)
Abstract [en]

Cooperating cyber-physical systems-of-systems (CO-CPS) such as vehicle platoons, robot teams or drone swarms usually have strict safety requirements on both spatial and temporal behavior. Learning-based testing is a combination of machine learning and model checking that has been successfully used for black-box requirements testing of cyber-physical systems-of-systems. We present an overview of research in progress to apply learning-based testing to evaluate spatio-temporal requirements on autonomous systems-of-systems through modeling and simulation.

Place, publisher, year, edition, pages
Association for Computing Machinery, Inc , 2018. p. 6-15
Keywords [en]
Automotive software, Black-box testing, Learningbased testing, Machine learning, Model-based testing, Requirements testing, Spatio-temporal logic, Artificial intelligence, Cyber Physical System, Embedded systems, Learning systems, Model checking, System of systems, Systems engineering, Autonomous systems, Cyber physical systems (CPSs), Model and simulation, Model based testing, Safety requirements, Spatio temporal, Temporal behavior
National Category
Computer and Information Sciences
Identifiers
URN: urn:nbn:se:kth:diva-247188DOI: 10.1145/3243127.3243129Scopus ID: 2-s2.0-85055868610ISBN: 9781450359726 (print)OAI: oai:DiVA.org:kth-247188DiVA, id: diva2:1313744
Conference
1st International Workshop on Machine Learning and Software Engineering in Symbiosis, MASES 2018, co-located with ASE 2018 Conference, 3 September 2018
Note

QC 20190506

Available from: 2019-05-06 Created: 2019-05-06 Last updated: 2019-05-06Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records BETA

Khosrowjerdi, HojatMeinke, Karl

Search in DiVA

By author/editor
Khosrowjerdi, HojatMeinke, Karl
By organisation
Theoretical Computer Science, TCS
Computer and Information Sciences

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 48 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf