I am using RedHawk v2.1.0 . Does anyone know how to prove that RedHawk-SDR confirms to the SCA(Ver.2.2) specification? Is there the evidence conforming to the SCA specification, or is there a verification/certification tool in RedHawk-IDE? Alternatively, if You have proved that RedHawk-SDR is compliant with the SCA specification, please tell me how to do the method.
THank Youssef-san for document
https://github.com/RedhawkSDR/redhawk/releases/download/2.0.0/SCASpecification-REDHAWK-2.0.0.pdf
I understood that RedHawk deviates from the SCA specification. However, I must make the evidence of SCA-compliance. Please tell me the method of how to make the evidence of SCA-compliance. Of course we believe that it is inevitable for some to deviate.
I would say that REDHAWK is currently SCA-based, not SCA-compliant, It might be, but whether or not... I think it is not a guarantee for the future. I believe it was in previous versions. REDHAWK extends SCA (as described in the document) with great features indeed... like the python sandbox. I don't know why the developers decided trail a path away from SCA. This question is up to them to answer. That's why there's no reason for a SCA Validation Tool in REDHAWK.
previously on a spd.xml file you had:
<softpkg id="id" name="name" type="sca_compliant" version="version">
now the code generators give you:
<softpkg id="id" name="name" type="2.0.7" version="version">
type is now the REDHAWK version.
Redhawk deviates from the sca specification and has documents of the differences here: https://github.com/RedhawkSDR/redhawk/releases/download/2.0.0/SCASpecification-REDHAWK-2.0.0.pdf
Although, the SCA specification is widely available, the information on how to establish, and sustain testing an SCA based SDR is not [1]. There are some companies that certificate if your solution is SCA complience. I had a opportunity to see a presentation of SAIC which showed how they did it, but it was almost 8 years ago. If you want to check, I found this presention called 2010-4A-Navarro-presentation.pdf available here.
Besides, if you check the SCA v2.2.2. specification in section 4 ARCHITECTURE COMPLIANCE, you will see a step-by-step about how it works.
Related
I am trying to set up and use a sterotype in IBM Rational Software Architect (9.1) model. I can create the stereotype in the model but its not showing when I try to apply to the metaclass (class in this case).
A pointer to documentation would be helpful, if not some directions. The RSA documentation seems incomplete and out of date. Anything from Google is years old. The last response to a question in the RSA forum is from 2 years ago.
ok, an expert user showed me how. You a) edit the model, b) go to the Profiles tab and c) add the profile there. The stereotypes from the profile will be available when you edit the model elements and go to the Stereotypes tab.
I cant find any documentation on this at all, but its simple and logical when you know how.
Thomas, I was with you on your opinions historically. But now am finding version 9.1 good. I tried 9.7 on my personal laptop and its better again, including the documentation. My opinion now is that RSA is better that some of the other tools I have to use. The documentation is not visible on Google, only through the tool Help, which I dont understand.
Boy, do these guys at StackOverflow really make you think before even trying to ask a question here - having a real stage fright writing this first question.
I will provide some resources I found during my search, but let me first elaborate on the topic itself. Namely, I am interested in the research of the Floating Point Unit, therefore, I would like to see any available open source hardware implementation - preferably in Chisel, but Verilog/VHDL will also do just fine.
So, kindly, provide any reference, a link or a document, on this matter.
What I've come across, taking a peak into two open source digital design projects that include the FPU - Rocket Chip and LowRISC is that they pull on the same repository originated from Berkeley - hardfloat. These are all developed based on the RISCV ISA, but this question is not limited to that particular ISA.
A very interesting resource, to put a nice, theoretical framework around all of the coding is this PhD thesis.
Has anyone delved into the the adventure of designing or upgrading some other FPU?
Can you point out any other free open source hardware FPU implementation?
Any comment, proposal, idea are more than welcome.
Thank you all,
Aleksandar
Here is an interesting resource - actually, a collection of resources with lots of interesting comments (stressing especially the advantages of decimal FPUs) and an actual implementation in ANSI C, which is a reference implementation, based on the specifications given.
I have read the paper about Alloy* last week and it seemed very interesting to me and the fact of integrating higher-order quantifiers will help me with my work. But I want to know is it is still an on going project and if I could keep on working on there version of the Alloy Analyser UI and is it stable ?
The Alloy* project is currently not under active development. It is, however, stable, and other researchers are using it to carry out their own research.
You can get it (including sources) from http://alloy.mit.edu/alloy/hola/.
Feel free to contact me directly if you need further help with compiling/using it.
In the mean time ... Alloy (not Alloy*) is now an open source project on Github: https://github.com/AlloyTools We are discussing also including Alloy*
I looking for a good SERM Modeling tool for linux. Is there any? Which is best?
Open ModelSphere may be the lone mature tool that fits the requirements...
open source (under GPL)
run on Linux: cross platform, actually, since it is Java-based.
standard fare for typical modeling tools, including forward and backward engineering and validation.
No explicit support for SERM, but ability to introduce new notations. Several of the notations readily included appear to be relatively close to [what I understand] SERM is.
This last point might be the show-stopper... hopefully this suggestion can be be a starting point.
Disclosure:
I'm no modeling wizard, merely an occasional user of modeling tools typically included in software development IDEs. Also, I'm not versed in SERM in particular, and unsure of its subtle (or so subtle) differences with other modeling metamodels.
I would typically remain an interested spectator of this type of questions, but in view of the little attention it has received so far (and in view of the +50 bounty, right!) I'm kindly posting the above with the intent of maybe stirring things a bit. I'll be glad to delete this answer, amend it as suggested and otherwise try and help with generating traffic in this direction.
If nothing else, this answer may prompt Anton Bessonov to elaborate a bit on specific uses and capabilities would be relevant to his quest.
Background:
I know, via pypi, about DOAP. Is there something similar to describe software defects?
Toby has a bug ontology. It covers the sort of information you'd find in a bug tracker, and it thus more concerned with the process of handling defects rather than classifying the issue in depth.
In a similar vein tabulator is moving its issue list to an rdf form.
I saw this Change Management specification mentioned recently. Don't know exactly how it's being used, but appears to be intended for bug/issue tracking. The vocabulary itself is outlined here: http://open-services.net/bin/view/Main/CmSpecificationV2