The Award database is continually updated throughout the year. As a result, data for FY19 is not expected to be complete until April, 2020.
SBC: Derivation Systems, Inc. Topic: N/A
The promise of formal methods to eliminate design errors in safety critical systems is realizable, however, much of the technology remains academic or removed from current engineering practice. At Derivation Systems, Inc. we believe that in over for formal methods to reach their full potential, a formal design tool must support the generative and deductive aspects of design. We also believe that f ...SBIR Phase II 1995 National Aeronautics and Space Administration
SBC: Krause P C & Associates Inc. Topic: N/A
RECENT TECHNICAL ADVANCEMENTS IN THE SEMICONDUCTOR DEVICE AND POWER CONDITIONING TECHNOLOGIES HAVE LED TO SUBSTANTIAL IMPROVEMENTS IN TERMS OF SIZE, WEIGHT, EFFICIENCY AND POWER QUALITY OF THE POWER CONDITIONING EQUIPMENT WHICH IS BEING CONSIDERED FOR SPACE APPLICATIONS. WITH THESE ADVANCEMENTS COMES AN ABUNDANCE OF DESIGN CHOICES AND INCREASED DEGREES OF FREEDOM WITH RESPECT TO POWER SYSTEM CONTR ...SBIR Phase I 1987 National Aeronautics and Space Administration
SBC: Pritsker Corp. Topic: N/A
ONE PROMISING APPROACH TO THE DEVELOPMENT OF GENERALIZED MODELS OF COMMUNICATION SYSTEMS IS COMPOSITION OF MODELS FROM COMPONENT MODEL MODULES. IN THIS APPROACH, MODELS OF INDIVIDUAL SYSTEM COMPONENTS ARE DEVELOPED AND SUBSEQUENTLY LINKED INTO A MODEL BY MODEL COMPOSITION SOFTWARE. AN INTEGRATED SOFTWARE ENVIRONMENT SUPPORTS THIS TECHNOLOGY BY MANAGING A MODELBASE OF MODEL MODULES PROVIDING FOR TH ...SBIR Phase I 1987 National Aeronautics and Space Administration