Abstract-PSDL is a language for describing prototypes of real-time software systems. It is most useful for requirements analysis, feasibility studies, and the design of large embedded systems. PSDL has facilities for recording and enforcing timing constraints, and for modeling the control aspects of real-time systems using nonprocedural control constraints, operator abstractions, and data abstractions. The language has been designed for use with an associated prototyping methodology. PSDL prototypes are executable if supported by a software base containing reusable software components in an underlying programming language (e.g., Ada).

To safely re-open economies and prevent future outbreaks, rapid, frequent, point-of-need, SARS-CoV-2 diagnostic testing is necessary. However, existing field-deployable COVID-19 testing methods require the use of uncomfortable swabs and trained providers in PPE, while saliva-based methods must be transported to high complexity laboratories for testing. Here, we report the development and clinical validation of High-Performance Loop-mediated isothermal Amplification (HP-LAMP), a rapid, saliva-based, SARS-CoV-2 test with a limit of detection of 1.4 copies of virus per µl of saliva and a sensitivity and specificity with clinical samples of > 96%, on par with traditional RT-PCR based methods using swabs, but can deliver results using only a single fluid transfer step and simple heat block. Testing of 120 patient samples in 40 pools comprised of 5 patient samples each with either all negative or a single positive patient sample was 100% accurate. Thus, HP-LAMP may enable rapid and accurate results in the field using saliva, without need of a high-complexity laboratory.

Rapid, scalable, point-of-need, COVID-19 diagnostic testing is necessary to safely re-open economies and prevent future outbreaks. We developed an assay that detects single copies of SARS-CoV-2 virus directly from saliva and swab samples in 30 min using a simple, one-step protocol that utilizes only a heat block and microcentrifuge tube prefilled with a mixture containing the necessary reagents and has a sensitivity and specificity of 97% and 100%, respectively.

No abstract

C ") 0 ABSTRACT (Continue on reverse side If necesseary and Identify by block number) Lu] 'Even in spite of formal requirements analysis, problems persist in the full-J acceptance of software systems. These problems are basically due to communica-LA. tions problems between users and system experts. C_. This paper discusses some alternative approaches to overcome these problems. It weights their relative advantages and shortcomings against each other. The Capproaches discussed are: Objectives Analysis, Prototyping and the Scenario Technique.